PeopleofSuperintelligence

Researcher

Martin Vechev

Also known as Мартин Вечев

Martin Vechev is a full professor of computer science at ETH Zurich, where he leads the Secure, Reliable, and Intelligent Systems Lab. His work spans artificial intelligence and programming languages. After studies at Simon Fraser University and Cambridge, he worked at IBM Research in New York before joining ETH Zurich in 2012. He co-founded DeepCode, ChainSecurity, and Invariant Labs, and all three companies were acquired. He won the ACM SIGPLAN Robin Milner Young Researcher Award in 2019 and received ERC grants in 2015 and 2022.

Now at
ETH Zurich and INSAIT
Works
330
Citations
11,179
h-index
53

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 1996–2008

    Degrees from Simon Fraser and Cambridge

    From 1996 to 2001 he studies at Simon Fraser University in Canada, and from 2003 to 2008 at the University of Cambridge.

  2. 2007–2012

    IBM research before ETH

    At IBM's T.J. Watson Research Center in New York, he works as a research staff member from 2007 to 2011, and in 2012 he joins the Department of Computer Science at ETH Zurich.

  3. 2015–2022

    Two European Research Council grants

    The European Research Council awards him a Starting Grant in 2015 and a Consolidator Grant in 2022.

  4. 2016–2020

    Co-founding DeepCode

    In 2016, he co-founds DeepCode, an AI platform for code, and in 2020 Snyk acquires it.

  5. 2017–2020

    Co-founding ChainSecurity

    He co-founds ChainSecurity, which is incorporated in October 2017, and PwC Switzerland acquires it in 2020.

  6. 2019

    A Robin Milner Young Researcher Award

    In 2019, the ACM SIGPLAN Robin Milner Young Researcher Award goes to him for his contributions to programming languages.

  7. 2024–2025

    Invariant Labs acquired by Snyk

    In 2024 he co-founds Invariant Labs with Florian Tramèr and three of their graduates, and in 2025 Snyk acquires the company.

  8. As of October 2026

    Full professor at ETH Zurich

    He is a full professor of computer science at ETH Zurich, where he leads the Secure, Reliable, and Intelligent Systems Lab. His work spans artificial intelligence and programming languages. He is also the founder and architect of INSAIT.

Sources and credits

Photo: We have no published photo of Martin Vechev yet. Send us a free-licensed photo.

  1. Prof. Dr. Martin Vechev | SRI Lab sri.inf.ethz.ch. Checked 15 October 2026.
  2. ERC Consolidator Grants for Otmar Hilliges and Martin Vechev – Department of Computer Science | ETH Zurich inf.ethz.ch. Checked 15 October 2026.
  3. Prof. Martin Vechev | INSAIT insait.ai. Checked 15 October 2026.
  4. ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity | ETH Zurich ethz.ch. Checked 15 October 2026.
  5. ETH spin-off ChainSecurity is taken over by PwC Switzerland – Department of Computer Science | ETH Zurich inf.ethz.ch. Checked 15 October 2026.
  6. ACM Young Researcher Award for Prof. Martin Vechev | ETH Zurich ethz.ch. Checked 15 October 2026.
  7. ETH spin-off Invariant Labs acquired by Snyk, the leading company in secure AI software development – Department of Computer Science | ETH Zurich inf.ethz.ch. Checked 15 October 2026.
  8. Martin Vechev - Wikipedia en.wikipedia.org. Checked 15 October 2026.