Greetings traveller. I'm Dimitar Dimitrov, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev. I come from Sofia, Bulgaria. However I was born and finished high school in the city of Varna.
My research interests include concurrency and verification. I also consider myself a programming language geek.
- 2020, Phd, ETH Zurich
- 2009 — 2012, MSc in Mathematical Logic, Sofia University
- 2005 — 2009, BSc in Informatics, Sofia University