Prof. Dr. Martin Vechev

Brief Bio

I am originally from Sofia, Bulgaria where I was born and grew up. Currently, I am a tenure-track Assistant Professor of Computer Science at ETH Zurich (since January 2012) where I lead the Software Reliability Lab, part of the Chair of Programming Methodology. Prior to joining ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center in New York for four years (2007 - 2011). I obtained my PhD from Cambridge University, England (2003-2008) and my B.Sc. from Simon Fraser University (SFU) , Canada (1996-2001). Before Canada, I studied in the Sofia Math High School (SMG) in Sofia, Bulgaria.


I am interested in all aspects of software reliability, including program analysis, program synthesis, statistical reasoning and concurrency.
You can find more details in my CV: PDF

Awards

  • Google Faculty Research Award, 2014
  • 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)