About me
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.
Awards
- 2020, ETH Medal
for outstanding PhD thesis
Education
- 2020, PhD in Computer Science, ETH Zurich
- 2012, MSc in Mathematical Logic, Sofia University
- 2009, BSc in Informatics, Sofia University
Publications
2024
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA
2024
2020
VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
IEEE S&P
2020
2018
Training Neural Machines with Trace-Based Supervision
Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevich, Timon Gehr, Martin Vechev
ICML
2018
Static Serializability Analysis for Causal Consistency
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
PLDI
2018
2017
Serializability for Eventual Consistency: Criterion, Analysis, and Applications
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
ACM POPL
2017
2015
Stateless Model Checking of Event-Driven Applications
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA
2015
2014
Commutativity Race Detection
Dimitar Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen
ACM PLDI
2014
Internship
Summer 2011, internship at IBM Watson Research Center under a joint programme with Rice University. Supervised by Vivek Sarkar and Martin Vechev.