Konstantinos (Kostas) Mamouras received a Best Paper award at the 2015 European Joint Conferences on Theory and Practice of Software (ETAPS) for his paper "Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism", appearing at the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). The paper addresses reasoning about programs that exhibit nondeterminism of a both angelic (under the program's control) and demonic (not under the program's control) nature.
Kostas is a PhD student working with Dexter Kozen. ETAPS is the primary European forum for academic and industrial researchers working on topics relating to Software Science.