Konstantinos Mamouras

WEBSITE(S)| Research Site

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.

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