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
Learning Commutativity Specifications
Timon Gehr, Dimitar Dimitrov, Martin Vechev
CAV 2015
Race Detection in Two Dimensions
Dimitar Dimitrov, Martin Vechev, Vivek Sarkar
ACM SPAA 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.