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



Scalable Inference of Symbolic Adversarial Examples
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev
Arxiv 2020