I am a fourth year PhD student in Computer Science advised by Professor David Walker. My research interests revolve around programming languages and verification, and currently we are working on applying techniques from these fields (language design, static analysis tools etc.) to help network operators keep calm. You can read more about some of the stuff we are working on here.
Previously I worked with Professor Andrew Appel on the design of an operational semantics for concurrent languages suitable for end-to-end verification. We demonstrated the power of these semantics, by applying them to CompCert's C language in order to prove:
You can find my CV here.
To appear in ESOP 2019Homepage
A Verified, Efficient Embedding of a Verifiable Assembly Language
Oakland S&P 2015GitHub
PhD in Computer Science @ Princeton University
Master in Computer Science @ Master Parisien de Recherche en Informatique (MPRI M2), ENS Cachan
Bachelor/Master in Electrical and Computer Engineering @ National Technical University of Athens