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.

Research Interests

I am broadly interested in programming languages, compilers, weak memory models, and software verification. More specifically, I am mainly interested in advancing the state of the art of testing, concurrent software verification with emphasis on systems programming, and efficient algorithms for stateless model checking 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