Martin Vechev
Co-founder & Scientific Adviser at ETH Zürich
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolMartin Vechev is a computer scientist and serial AI entrepreneur who combines a top-tier academic role as Full Professor at ETH Zurich with founding leadership at INSAIT and multiple startups focused on safe, trustworthy generative AI and program analysis. His work bridges rigorous formal methods and practical systems, spawning companies like DeepCode (acquired by Snyk) and ChainSecurity (acquired by PwC) that commercialized automated verification and AI-driven code intelligence. At ETH he leads the Secure, Reliable, Intelligent Systems Lab and is a core faculty member of both the AI and Quantum Centers, reflecting a rare cross-disciplinary focus on reliability, security, and next‑generation computing. Recent ventures such as LogicStar, Invariant Labs and NetFabric target safety-first AI coding, secure generative agents, and mathematically grounded network questioning—illustrating a consistent theme of transforming deep research into impactful products. Trained at Cambridge (PhD) and Simon Fraser, he pairs a strong theoretical foundation with a track record of translating proofs and models into industry-leading tools and acquisitions. Less obvious: he has repeatedly turned academic ideas into market transformations, securing substantial public–private funding (including nearly $100M for INSAIT) to scale research into real-world infrastructure.
12 years of coding experience
12 years of employment as a software developer
Mathematics, Mathematics at Sofia High School of Mathematics (SMG)PhD Computer Science, PhD Computer Science at University of CambridgeBSc Computer Science, BSc Computer Science at Simon Fraser University
English, Russian, Bulgarian
Github Skills (16)
prediction5
robust3
race-detection3
adversarial-learning2
defense2
machine-learning2
instrumentation2
deep-learning2
webkit2
pytorch1
abstract-interpretation1
python1
network-analysis1
robustness1
probabilistic1
Programming languages (4)
Github contributions (5)
eth-sri/DFENCE
Oct 2013 - Oct 2013
Contributions:4 commits in 1 day
eth-sri/webkit
Sep 2013 - Sep 2013
Contributions:17 commits in 1 day
instrumentationrace-detectionracewebkit
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.