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.

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