About me

I am Momchil Peychev, 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. I completed my undergraduate studies at the University of Cambridge, where I worked with Prof. Pietro Liò and Petar Veličković.

Education

  • ETH Zurich, September 2018 - current
    Direct doctorate student in Computer Science
  • University of Cambridge, 2014 – 2017
    BA in Computer Science

Major achievements

2016 Northwestern Europe Regional Contest (NWERC) Bronze medal (9/114)
2014 International Olympiad in Informatics (IOI) Silver medal
2013 International Olympiad in Informatics (IOI) Bronze medal
2013 Balkan Olympiad in Informatics (BOI) Silver medal
2012 Balkan Olympiad in Informatics (BOI) Bronze medal

Publications