Javascript must be enabled to use this form.

View Profile	Home Browse Faculty Facility Research Consortia Training Grants Courses Search Support About rSp Help and FAQ's Contact Us	GCC Home
Faculty Profile Last Modified Time: 01:44:40 PM Mon, 20 Apr 2020   Contact Information Konstantinos Mamouras Associated Profiles  Assistant Professor, Computer Science, Rice University   Duncan Hall, Room No.: 3081    konstantinos.mamouras@rice.edu     (713)348-4584    Web Link    Programming Languages, Formal Methods, Type Theory and Logic    Associated Profiles Professional Preparation Research and Expertise Appointments  Professional Preparation  Degree Major Institution Year  PhD Computer Science Cornell University 2015  MSc Advanced Computing Imperial College London 2009  Research and Expertise Research Interests   I am 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. We 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. 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.  Publications/Creative Works Click here to search for this faculty member's publications on PubMed.  Appointments Title Department / School Institution Assistant Professor Computer Science Rice University

powering - The Partnership
Important Disclaimer: The responsibility for the accuracy of the information contained on these pages lies with the authors and user providing such information.