Greetings traveller. I'm Dimitar Dimitrov, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Software Reliability 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.
- 2009 — 2012, MSc in Mathematical Logic, Sofia University
- 2005 — 2009, BSc in Informatics, Sofia University
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
ACM POPL 2017
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA 2015
Dimitar Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen
ACM PLDI 2014