About

I am an assistant professor at ETH Zurich. I got my PhD from MPI-SWS and my MEng from the National Technical University of Athens (NTUA).

I am broadly interested in programming languages, compilers, and software verification. More specifically, I am mainly interested in automated verification and testing, with emphasis on concurrent programming and algorithms that incorporate extensions for checking the effects of the weak memory models employed by modern microprocessors.

If you are interested in pursuing a PhD in automated verification, please email me directly.

Tools

Publications

You can find all my publications below (also on Google Scholar, dblp ).

Contact

E-mail:
Address: CNB H 104.2
Universitätstrasse 6
8092 Zürich
Switzerland