Responsive image

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.

Research Interests

Concurrent and distributed computing

Formal verification

Separation logics

File system verification and reasoning

Programming languages