As of September 2015, I have moved to the University of Pennsylvania.

http://www.seas.upenn.edu/~mamouras/

Konstantinos Mamouras Research | Publications | Other | Teaching
niagara

Konstantinos Mamouras

mamouras [at] cs [dot] cornell [dot] edu

Department of Computer Science
Cornell University
Office 441, Gates Hall
Ithaca, NY, 14853
USA

I am a fifth year Ph.D. student in the Computer Science department of Cornell University. My advisor is Dexter Kozen. Before joining Cornell as a Ph.D. student, I finished the MSc in Advanced Computing program at Imperial College London and the Electrical and Computer Engineering undergraduate program at the National Technical University of Athens.

Research Interests

I am interested in logic for computer science, program semantics, verification, and type theory. I am currently working on Kleene algebra, which is an equational logical system that can be used for deductive verification and for encoding more lightweight verification tasks.

Publications

TOCL The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes.
Konstantinos Mamouras.
To appear in the ACM Transactions on Computational Logic (TOCL).
Revised and expanded version of CSL-LICS 2014 paper.
[pdf]
RAMiCS '15 Completeness and Incompleteness in Nominal Kleene Algebra.
Dexter Kozen, Konstantinos Mamouras, and Alexandra Silva.
Proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS). Braga, Portugal, September 2015.
[pdf] [link] [tech report]
ICALP '15 Nominal Kleene Coalgebra.
Dexter Kozen, Konstantinos Mamouras, Daniela Petrişan, and Alexandra Silva.
Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP). Kyoto, Japan, July 2015.
[pdf] [link] [tech report]
FoSSaCS '15 Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism.
Konstantinos Mamouras.
Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). London, UK, April 2015.
ETAPS Best Theory Paper Award.
[pdf] [link]
CSL-LICS '14 On the Hoare Theory of Monadic Recursion Schemes.
Konstantinos Mamouras.
Proceedings of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Vienna, Austria, July 2014.
[pdf] [link]
ICALP '14 Kleene Algebra with Equations.
Dexter Kozen, and Konstantinos Mamouras.
Proceedings of the 41st International Colloquium on Automata, Languages, and Programming (ICALP). Copenhagen, Denmark, July 2014.
[pdf] [link] [tech report]
CSL-LICS '14 KAT + B!.
Niels Bjørn Bugge Grathwohl, Dexter Kozen, and Konstantinos Mamouras.
Proceedings of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Vienna, Austria, July 2014.
[pdf] [link] [tech report]
CSL '13 Kleene Algebra with Products and Iteration Theories.
Dexter Kozen, and Konstantinos Mamouras.
Proceedings of the 22nd EACSL Annual Conference on Computer Science Logic (CSL). Torino, Italy, September 2013.
[pdf] [link] [tech report]
VLDB '12 The Complexity of Social Coordination.
Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, and Johannes Gehrke.
Proceedings of the VLDB Endowment (PVLDB). Volume 5(11), pages 1172-1183, 2012.
[pdf]

Other

Extensions of Kleene Algebra for Program Verification.
Konstantinos Mamouras.
PhD thesis. Cornell University, Ithaca, NY, August 2015.
Thesis committee: Dexter Kozen (chair), Robert Constable, Richard Shore.
[link]
Canonical Progress Measures for Parity Games.
Konstantinos Mamouras.
Short presentation at the 27th Annual IEEE Symposium on Logic in Computer Science (LICS '12). Dubrovnik, Croatia, June 2012.
[pdf]
First-order Temporal Logic with Fixpoint Operators over the Natural Numbers.
Konstantinos Mamouras.
Distinguished MSc Project. Imperial College, London, 2009.
[pdf] [link]

Teaching Experience

I have been a teaching assistant at Cornell University for: