Greetings traveller. I'm Dimitar Dimitrov. I'm currently a software verification engineer at PwC Switzerland, where I work on security and reliability of smart contracts. I finished my PhD at the Secure, Reliable, and Intelligent Systems Lab at ETH's Department of Computer Science, 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, ETH Medal for outstanding PhD thesis
- 2020, PhD in Computer Science, ETH Zurich
- 2012, MSc in Mathematical Logic, Sofia University
- 2009, BSc in Informatics, Sofia University