Konstantinos Mamouras is an Assistant Professor at the Department of Computer Science of Rice University. Before that, he was a postdoctoral researcher at the University of Pennsylvania advised by Rajeev Alur. He received his Ph.D from the Computer Science department of Cornell University, where he was advised by Dexter Kozen.
WEBSITE(S)| Research Site
Research Areas
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. He has 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. I am 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.
Education
PhD, Computer Science, Cornell University (2015)
Teaching Areas
Reasoning about Software
Topics in Programming Languages and Formal Methods
Verified Programming