Konstantinos Mamouras
Assistant Professor of Computer ScienceRice University · Computer Science
programming languages · formal methods · data-stream processing · program verification
QS #1192026Website
Search and navigate
Rice University · Computer Science
programming languages · formal methods · data-stream processing · program verification