Oregon Networking Research Group (ONRG) in the Department of Computer and Information Science (CIS) at the University of Oregon
Dr. Konstantinos Mamouras is an Assistant Professor of Computer Science at Rice University. He is currently working on the design of programming abstractions for processing data streams. Several real-time decision making applications rely on the computation of quantitative summaries of very large streams of data. Dr. Konstantinos and collaborators have proposed StreamQRE, a declarative query language that combines regular expressions, quantitative aggregation, and relational features. A compilation algorithm translates the high-level query into a streaming algorithm with precise guarantees for resource usage.
Dr. Mamouras is also interested in program semantics and logics for program verification. In particular, this includes equational theories of programs based on the framework of Kleene Algebra with Tests.