Sign In

Martin Vechev

Founder and Architect of INSAIT, Full Professor at ETH Zurich

Martin Vechev is a prominent figure in the field of computer science and artificial intelligence. He is currently a Full Professor at ETH Zurich and the founder of INSAIT (Institute for Computer Science, Artificial Intelligence and Technology).2

Professional Background

Martin Vechev has an extensive academic and entrepreneurial background:

Academic Career::

  • Full Professor at ETH Zurich (March 2022 - Present)
  • Associate Professor at ETH Zurich (July 2017 - March 2022)
  • Tenure-Track Assistant Professor at ETH Zurich (January 2012 - July 2017)2

Entrepreneurial Ventures::

  • Founder and Architect of INSAIT
  • Co-founder of Invariant Labs (July 2024)
  • Co-founder and Scientific Adviser at LatticeFlow (July 2020 - Present)
  • Co-founder and Scientific Adviser at DeepCode AG (December 2016 - October 2020)2

Research and Expertise

Martin Vechev leads the Secure, Reliable, Intelligent Systems Lab (SRI) at ETH Zurich.2 His research interests include:

  • Machine Learning
  • Algorithms
  • Program Analysis
  • Program Synthesis
  • Concurrency1

He is also a core faculty member at the ETH Quantum Center and the ETH AI Center, focusing on next-generation quantum computing and reliable and trustworthy AI, respectively.2

Awards and Recognition

Martin Vechev has received several prestigious awards for his contributions to computer science:

  • ERC Consolidator Grant (2022)
  • ERC Starting Grant (2015)
  • John Atanasoff Award (2009)
  • Various IBM Research awards (2009)2

Education

  • Doctor of Philosophy in Computer Science from the University of Cambridge (2003-2008)
  • Bachelor of Science in Computer Science from Simon Fraser University (1996-2001)1

Martin Vechev's LinkedIn username is indeed martinvechev, as mentioned in the query.2

Highlights

Aug 1 · linkedin

This is quite interesting. Google released the conference rankings across ALL areas of science few weeks ago. In the top 10, 3 are from AI and in the top 20, 5 are from AI (!). Over the last year, INSAIT - Institute for Computer Science, Artificial Intelligence and Technology has published 33 papers in the conferences in red. Before INSAIT, Bulgaria had practically no papers in the conferences in red. It will be very interesting how this affects the university rankings, i.e., Sofia University, that is, if someone fills the documents correctly :)

Jul 31 · linkedin

Congratulations to Anouk Paradis who successfully defended her PhD thesis at ETH Zürich on advanced programming languages (PL) techniques for quantum computing (PhD graduate #16 for me). Anouk's thesis makes a number of key contributions, including a new algorithm for quantum uncomputation, synthesis of quantum circuits from high-level specs, and abstract quantum simulation, all of which advance the state-of-the-art in programming quantum circuits and all of which are published at top PL conferences and quantum journals. Before joining our group for a PhD, Anouk received the prestigious ETH Excellence Scholarship when she joined ETH as a M.Sc. student from France, then received a medal for outstanding M.Sc. thesis at ETH. Thanks very much to the other members of the thesis committee: prof. Jens Palsberg (UCLA, a leader in Challenge Institute for Quantum Computation (CIQC), one of the largest quantum institutes in the world) and prof. Olivia Di Matteo (UBC) as well as prof. David Basin (ETH Zurich) who chaired the defense.

Related Questions

What is Martin Vechev's role at Invariant Labs?
How did Martin Vechev start his career in computer science?
What are some of Martin Vechev's notable achievements?
What is the INSAIT institute and how does it relate to Martin Vechev's work?
What are the main research areas Martin Vechev focuses on?
Martin Vechev
Martin Vechev, photo 1
Martin Vechev, photo 2
Add to my network

Experience

Founder and Architect at INSAIT, Full Professor at ETH Zurich
Associate Professor at ETH Zurich (Jul 2017 - Mar 2022), Research Staff Member at IBM T.J. Watson Research Center (Sep 2007 - Dec 2011)

Education

PhD in Computer Science from University of Cambridge (2003 - 2008), BSc in Computer Science from Simon Fraser University (1996 - 2001)

Location

Zurich, Switzerland