Martin Vechev

Martin Vechev is a Full Professor of Computer Science at ETH Zurich and head of the Secure, Reliable, and Intelligent Systems (SRI) Lab. His research spans the intersection of artificial intelligence and programming languages, and he is the founder and architect of the INSAIT research center. He has co‑founded several deep‑tech startups, including DeepCode, ChainSecurity and LatticeFlow, previously worked as a Research Staff Member at IBM’s T.J. Watson Research Center, and obtained his PhD from the University of Cambridge and his BSc from Simon Fraser University.

Personal Website

https://www.sri.inf.ethz.ch/people/martin

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

Organizations

ETH Zürich

Full Professor of Computer Science; head of Secure, Reliable, and Intelligent Systems Lab

Projects

No grants recorded.