Prof. Dr. Martin Vechev


Welcome to my page. My name is Martin and I am originally from Sofia, Bulgaria where I was born and grew up.
Currently, I am an Associate Professor of Computer Science at ETH Zurich where I lead the Secure, Reliable, and Intelligent Systems Lab.
Prior to ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center in New York, USA (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).
Before that I studied at the Sofia High School of Mathematics (SMG) .


My work spans the intersection of artificial intelligence and programming languages, including both theoretical and system aspects. I have given a number of invited and keynote talks on these topics at various conferences and workshops (e.g., here). With my group we have also built a number of AI systems, now widely used in academia and industry. I have also co-founded two start-ups: DeepCode which aims to revolutionize programming using AI, and ChainSecurity, which brings security to blockchain using automated reasoning.

My research has received a number of awards and recognitions including Distinguished Paper Awards (RV, OOPSLA), SIGPLAN Research Highlight, CACM Research Highlight, ERC Starting Grant, Google and Facebook Faculty Research Awards, Outstanding Artifact Award (OOPSLA), IBM Research Division Award, IBM Extraordinary Accomplishment Award (awarded by John Kelly, IBM Senior Vice President and Director of IBM Research), IBM Research Outstanding Project Award, John Atanasoff Award, awarded by the President of Bulgaria (Photo, National TV), IBM Invention and Outstanding Technical Achievement Awards, University Scholarships (SFU, Cambridge), and others.


I was the Program Chair for ACM PLDI'17, a top conference in programming languages and systems. I currently serve on the SIGPLAN steering committee, SIGPLAN research highlights committee and the SIGPLAN Doctoral Dissertaion Award committee.

You can contact me at: firstname.lastname@inf.ethz.ch