Prof. Dr. Martin Vechev

Brief Bio

I am originally from Sofia, Bulgaria where I was born and grew up. There I studied at the Sofia High School of Mathematics (SMG) .

Currently, I am an Associate Professor of Computer Science at ETH Zurich where I lead the Software Reliability Lab.
From 2012-2017, I was a tenure-track Assistant Professor at the same place.
Prior to ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center in New York (2007 - 2011).
I obtained my PhD from the University of Cambridge, England (2003-2008).
I obtained my B.Sc. from Simon Fraser University (SFU) , Canada (1996-2001).

I am currently interested in interpretable artificial intelligence, probabilistic programming, and applications of program analysis and machine learning to security and reliability. I have given a number of invited and keynote talks on these topics at various conferences and workshops including: WoDet'11, HVC'14, PLACES'15, TCE'15, ML4PL'15, ISSTA'16, SOAP'16, SAS'16 and NAMPI'16 (co-located with NIPS'16), iFM'17, and others.

I was the Program Chair for PLDI'17. I also regularly serve on program committees of major conferences (e.g., PLDI, POPL, etc). I currently serve on the SIGPLAN steering committee, SIGPLAN research highlights committee and the SIGPLAN Doctoral Dissertaion Award committee.

You can contact me at:


  • Distinguished Paper Award, ACM OOPSLA'16
  • SIGPLAN Research Highlight and a CACM Research Highlight for our POPL'15 paper (2016)
  • ERC Starting Grant (2015)
  • Google Faculty Research Awards (2014, 2015)
  • Facebook Faculty Award, 2015
  • Outstanding Artifact Award, ACM OOPSLA 2013
  • IBM Research Division Award, 2011
  • Extraordinary Accomplishment Award, 2010
    (awarded by John Kelly, IBM Senior Vice President and Director of IBM Research)
  • Best Paper Award, Runtime Verification, 2010
  • IBM Research Outstanding Project Award, 2010
  • John Atanasoff Award, awarded by the President of Bulgaria, 2009: Photo, National TV
  • Two IBM Invention and an Outstanding Technical Achievement Awards (2005, 2008)
  • SFU and Cambridge Scholarships (1996, 2003)