Born in Most, Czech Republic. Grew up in Athens, Greece.
Studied in UoA, getting my BSc in Informatics and Telecommunications.
Moved to Imperial College London, getting an MSc in Advanced Computing at the Department of Computing.
Currently, I am a PhD candidate in Imperial College, supervised by Philippa Gardner.
Concurrent and distributed computing
File system verification and reasoning