## Konstantinos Mamourasmamouras [at] cs [dot] cornell [dot] edu
Department of Computer Science |

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.

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] |

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] |

- Advanced Programming Languages (CS 6110) [Spring 2014]
*Instructor*: Dexter Kozen*Description*: Ph.D.-level course on the foundations of programming languages. (syllabus)- Mathematical Foundations for the Information Age (CS 4850) [Spring 2013]
*Instructor*: John Hopcroft*Description*: Senior-level course on the mathematics underlying the analysis of data and complex networks.- Object-Oriented Programming and Data Structures (CS 2110) [Fall 2011, Spring 2012, Fall 2012]
- Introduction to Computing using Java (CS 1110) [Fall 2010, Spring 2011]