About me

I am Dimitar I. Dimitrov, a direct doctorate student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Prof. Martin Vechev.


  • ETH Zurich, September 2018 - current
    Direct doctorate student in Computer Science
  • The University of Edinburgh, UK, 2012 – 2016
    BEng Computer Science
  • University of California, Irvine, USA, 2014 - 2015
    Exchange student
  • Sofia High School of Mathematics, Sofia, Bulgaria, 2004 – 2012
    Bulgaria diploma
view CV as PDF

Work Experience

Full-time Software Developer, Arista Networks, Dublin, Republic of Ireland 2016/09 – 2018/06
Summer Intern, Arista Networks, San Jose, CA, USA 2015/06 – 2015/09
Teaching Assistant and Web Developer, Avid Academy for Gifted Youth, Irvine, CA, USA 2014/12 – 2015/06
Lead Android Developer, The City of Edinburgh Council, Edinburgh, UK 2013/06 – 2014/09



Shared Certificates for Neural Network Verification
Marc Fischer*, Christian Sprecher*, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev
CAV 2022 * Equal contribution
Provably Robust Adversarial Examples
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev
ICLR 2022
Bayesian Framework for Gradient Leakage
Mislav Balunović, Dimitar I. Dimitrov, Robin Staab, Martin Vechev
ICLR 2022


Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, Martin Vechev
PLDI 2021