Martin Vechev
-
Bio
Updated 05/18/26Martin 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.
Community Signal
Updated 05/18/260Upvotes
0Downvotes
0Endorsements
No endorsements yet.
Links
Updated 05/18/26- Personal Website
- https://www.sri.inf.ethz.ch/people/martin
- -
- Twitter / X
- -
- LessWrong
- -
- EA Forum
- -
Grants
Updated 05/18/26No grants recorded.