About

I got my MEng in Electrical and Computer Engineering from the National Technical University of Athens (NTUA) in October 2016. My diploma thesis was titled “Systematic Concurrency Testing of Read-Copy-Update under Sequentially Consistent and Weak Memory Models”, and it was done under the supervision of Kostis Sagonas.

Right after finishing my undergraduate studies, I started my PhD at the NTUA, working with Kostis Sagonas on formal verification of concurrent programs under weak memory models.

In February 2018, I moved to the Max Planck Institute for Software Systems (MPI-SWS). My advisor is Viktor Vafeiadis.