I am a postdoc at MPI-SWS working with Viktor Vafeiadis. I got my PhD from MPI-SWS and my MEng from the National Technical University of Athens (NTUA).

I will be joining ETH Zurich as an assistant professor in August 2024. If you are interested in pursuing a PhD in automated verification, please email me directly.

Research Interests

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.



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


Address: MPI-SWS
Paul-Ehrlich-Str. 26
67663 Kaiserslautern