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.

No endorsements yet.

Personal Website

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

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

No grants recorded.