Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Martin Vechev
Bulgarian computer scientist

Martin Vechev, a full professor at the computer science department of ETH Zurich, specializes in programming languages, machine learning, and computer security. He leads the Secure, Reliable, and Intelligent Systems Lab and founded INSAIT, a research center in AI in partnership with ETH Zurich and EPFL. Vechev is renowned for pioneering machine learning for code (BigCode), abstract interpretation methods for verifying neural networks, and quantum programming with the Silq language. His accolades include the ACM SIGPLAN Robin Milner Young Researcher Award and an ERC Consolidator Grant. Before ETH, he worked at IBM’s T.J. Watson Research Center.

Related Image Collections Add Image
Profiles
1 Image
We don't have any YouTube videos related to Martin Vechev yet.
We don't have any PDF documents related to Martin Vechev yet.
We don't have any Books related to Martin Vechev yet.
We don't have any archived web articles related to Martin Vechev yet.

Advised doctoral students

Vechev has supervised and graduated 17 doctoral students at ETH Zurich. Several of his Ph.D. students received major recognitions for their dissertations. Veselin Raychev received an Honorable Mention for the ACM Doctoral Dissertation Award16 and the ETH medal. Gagandeep Singh received the ACM SIGPLAN Doctoral Dissertation Award.1718 Samuel Steffen was awarded the ACM SIGSAC Doctoral Dissertation Award Runner-Up.19 Benjamin Bichsel received both the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award2021 and the ETH medal22 on the topic of 'High-Level Quantum Programming'. Timon Gehr received the ETH medal.23 Rüdiger Birkner was awarded the 2022 EuroSys Roger Needham Ph.D. Award.24 Dimitar K. Dimitrov received the ETH medal.25

Early life and education

Martin Vechev was born in Sofia, Bulgaria, where he attended the Sofia High School of Mathematics (SMG) from 1991 to 1994. He received a B.Sc. in Computer Science from Simon Fraser University in 2001 and a Ph.D. in computer science from the University of Cambridge in 2008.

Serial entrepreneurship

Vechev has also co-founded 6 deep tech start-ups:

  • LatticeFlow, building a platform for delivering robust and trustworthy AI systems262728
  • DeepCode, an AI-based code review system, acquired by the security unicorn Snyk in 2020293031
  • ChainSecurity, smart contract security audits based on formal mathematical guarantees, acquired by PwC Switzerland in 202032
  • NetFabric, focused on AI-based network monitoring333435
  • Invariant Labs, dedicated to developing advanced security solutions for autonomous AI agents36
  • and LogicStar, a company developing AI agents that autonomously resolve bugs37

Awards

Vechev's work has been recognized by many international awards, including:

  • ACM SIGPLAN Robin Milner Young Researcher Award383940 in 2019 for major contributions to the area of programming languages
  • ACM SIGPLAN Research Highlight41
  • CACM Research Highlight 2016424344
  • ERC Consolidator Grant 20214546 for the project SafeAI: Certified Safe, Fair and Robust Artificial Intelligence
  • ERC Starting Grant47484950 for the project BIGCODE, the first to combine advanced programming languages and machine learning techniques, which developed new AI-based methods for creating and debugging software
  • John Atanasoff Award 2009, awarded by the President of Bulgaria515253
  • Google and Facebook Faculty Research Awards
  • IBM Research Division Award
  • IBM Extraordinary Accomplishment Award (awarded by John Kelly, IBM Senior Vice President and Director of IBM Research)
  • IBM Research Outstanding Project Award
  • IBM Invention and Outstanding Technical Achievement Awards

References

  1. "SafeAI: Safe Artificial Intelligence". safeai.ethz.ch. https://safeai.ethz.ch/ ↩

  2. "Building the next generation AI systems". ERC. April 29, 2024. https://erc.europa.eu/projects-statistics/science-stories/building-next-generation-ai-systems ↩

  3. "SafeAI: Safe Artificial Intelligence". safeai.ethz.ch. https://safeai.ethz.ch/ ↩

  4. "Silq is a new high-level programming language for quantum computers". TechCrunch. Retrieved December 19, 2021. https://techcrunch.com/2020/06/15/silq-is-a-new-high-level-programming-language-for-quantum-computers/ ↩

  5. "ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019. https://ethz.ch/en/the-eth-zurich/portrait/latest-honours-and-prizes/2019/07/acm-young-researcher-award-for-prof-martin-vechev.html ↩

  6. "Robin Milner Young Researcher Award". www.sigplan.org. https://www.sigplan.org/Awards/Milner/ ↩

  7. "Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021. https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html ↩

  8. "313 new ERC Consolidator Grants to tackle big scientific questions". ERC. September 5, 2024. Retrieved September 13, 2024. https://erc.europa.eu/news/erc-2021-consolidator-grants-results ↩

  9. "ERC Consolidator Grants for Otmar Hilliges and Martin Vechev". inf.ethz.ch. March 17, 2022. Retrieved September 13, 2024. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/03/erc-grant-otmar-hilliges-martin-vechev.html ↩

  10. "Building the next generation AI systems". ERC: European Research Council. 2015. https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems ↩

  11. Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021 https://www.youtube.com/watch?v=JlgS1kfRko8 ↩

  12. "CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021. https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html ↩

  13. Vesper, Inga (June 4, 2018). "Europe's top science funder shows high-risk research pays off". Nature. 558 (7708): 16–17. Bibcode:2018Natur.558...16V. doi:10.1038/d41586-018-05325-4. PMID 29872198. S2CID 46949722. https://doi.org/10.1038%2Fd41586-018-05325-4 ↩

  14. "dblp: Martin T. Vechev". dblp.org. Retrieved September 15, 2024. https://dblp.org/pid/93/2189.html ↩

  15. "Publications". SRI Lab. Retrieved September 15, 2024. https://www.sri.inf.ethz.ch/publications/ ↩

  16. "Veselin Raychev". awards.acm.org. Retrieved September 15, 2024. https://awards.acm.org/award_winners/raychev_2031789 ↩

  17. "2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh". inf.ethz.ch. September 14, 2021. Retrieved December 16, 2021. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2021/09/acm-sigplan-dissertation-award-2021-singh.html ↩

  18. "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved December 16, 2021. https://www.sigplan.org/Awards/Dissertation/ ↩

  19. "ACM SIGSAC Dissertation Awards". www.sigsac.org. Retrieved September 15, 2024. https://www.sigsac.org/award/diss-awards.html ↩

  20. "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved September 13, 2024. https://www.sigplan.org/Awards/Dissertation/ ↩

  21. "ACM SIGPLAN Dissertation Award for Benjamin Bichsel". inf.ethz.ch. July 2, 2024. Retrieved September 15, 2024. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2024/07/sigplan-dissertation-award-for-benjamin-bichsel.html ↩

  22. "Five doctoral graduates receive ETH Medals". inf.ethz.ch. November 15, 2023. Retrieved September 15, 2024. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2023/11/five-doctoral-graduates-receive-eth-medals.html ↩

  23. "Four doctoral graduates receive ETH Medals". inf.ethz.ch. November 8, 2022. Retrieved September 15, 2024. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/11/eth-medals-doctorate.html ↩

  24. "European Chapter of ACM SIGOPS - Roger Needham PhD Award". www.eurosys.org. Retrieved September 15, 2024. https://www.eurosys.org/awards/roger-needham-phd-award ↩

  25. "ETH Medal for doctoral theses". inf.ethz.ch. Retrieved September 15, 2024. https://inf.ethz.ch/news-and-events/spotlights/2020/11/eth-medal-doctoral-thesis.html ↩

  26. "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 13, 2021. https://techcrunch.com/2021/01/19/eth-spin-off-latticeflow-raises-2-8m-to-help-build-trustworthy-ai-systems/ ↩

  27. "Joint services announce winners of global AI competition". www.army.mil. Retrieved December 13, 2021. https://www.army.mil/article/250419/joint_services_announce_winners_of_global_ai_competition ↩

  28. Yovchev, Etien (December 3, 2021). "Seeing strong product adoption LatticeFlow expands to Sofia to accelerate the development of its platform for robust AI models". TheRecursive.com. Retrieved December 18, 2021. https://therecursive.com/seeing-strong-product-adoption-latticeflow-expands-to-sofia-to-accelerate-the-development-of-its-platform-for-robust-ai-models/ ↩

  29. "Snyk acquires DeepCode to boost its code review smarts". TechCrunch. Retrieved December 13, 2021. https://techcrunch.com/2020/09/24/snyk-acquires-deepcode-to-boost-its-code-review-smarts/ ↩

  30. "ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity". ethz.ch. September 23, 2020. Retrieved December 16, 2021. https://ethz.ch/en/news-and-events/eth-news/news/2020/09/deepcode.html ↩

  31. "AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn". Trending Topics. September 23, 2020. Retrieved December 16, 2021. https://www.trendingtopics.eu/deepcode-founded-by-a-bulgarian-team-gets-acquired/ ↩

  32. "ETH spin-off ChainSecurity is taken over by PwC Switzerland". inf.ethz.ch. Retrieved December 13, 2021. https://inf.ethz.ch/news-and-events/spotlights/2020/01/chainsecurity-pwc-switzerland.html ↩

  33. "Why Playfair Capital invested in NetFabric.ai". www.tribume.com. Retrieved September 13, 2024. https://www.tribume.com/posts/why-playfair-capital-invested-in-netfabric-ai ↩

  34. България, Forbes (July 12, 2024). "Стартъпът с българско участие NetFabric поглежда към 1.6-милиардния пазар на мониторинг на мрежи". forbesbulgaria.com (in Bulgarian). Retrieved September 13, 2024. https://forbesbulgaria.com/2024/07/12/startapat-s-balgarsko-uchastie-netfabric-poglezhda-kam-1-6-miliardniya-pazar-na-monitoring-na-mrezhi/ ↩

  35. Laoun, Joy. "Zurich-based startup NetFabric.ai secures $2.2M to transform network monitoring". vestbee.com. Retrieved September 13, 2024. https://www.vestbee.com/blog/articles/net-fabric-ai-secures-2-2-m ↩

  36. "Invariant Labs". invariantlabs.ai. Retrieved September 15, 2024. https://invariantlabs.ai/ ↩

  37. "LogicStar AI". logicstar.ai. Retrieved September 15, 2024. https://logicstar.ai/ ↩

  38. "ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019. https://ethz.ch/en/the-eth-zurich/portrait/latest-honours-and-prizes/2019/07/acm-young-researcher-award-for-prof-martin-vechev.html ↩

  39. "Robin Milner Young Researcher Award". www.sigplan.org. https://www.sigplan.org/Awards/Milner/ ↩

  40. "Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021. https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html ↩

  41. "SIGPLAN Research Highlights Papers". www.sigplan.org. Retrieved December 27, 2021. https://www.sigplan.org/Highlights/Papers/ ↩

  42. Raychev, Veselin; Vechev, Martin; Krause, Andreas (January 14, 2015). "Predicting Program Properties from "Big Code"". Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '15. New York, NY, USA: Association for Computing Machinery. pp. 111–124. doi:10.1145/2676726.2677009. ISBN 978-1-4503-3300-9. S2CID 14571254. 978-1-4503-3300-9 ↩

  43. Krause, Veselin Raychev, Martin Vechev, Andreas. "Predicting Program Properties from 'Big Code'". cacm.acm.org. Retrieved December 27, 2021.{{cite web}}: CS1 maint: multiple names: authors list (link) https://cacm.acm.org/magazines/2019/3/234932-predicting-program-properties-from-big-code/fulltext ↩

  44. Rinard, Martin C. "Technical Perspective: Borrowing Big Code to Automate Programming Activities". cacm.acm.org. Retrieved December 27, 2021. https://cacm.acm.org/magazines/2019/3/234924-technical-perspective-borrowing-big-code-to-automate-programming-activities/fulltext ↩

  45. "313 new ERC Consolidator Grants to tackle big scientific questions". ERC. September 5, 2024. Retrieved September 13, 2024. https://erc.europa.eu/news/erc-2021-consolidator-grants-results ↩

  46. "ERC Consolidator Grants for Otmar Hilliges and Martin Vechev". inf.ethz.ch. March 17, 2022. Retrieved September 13, 2024. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2022/03/erc-grant-otmar-hilliges-martin-vechev.html ↩

  47. "Building the next generation AI systems". ERC: European Research Council. 2015. https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems ↩

  48. Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021 https://www.youtube.com/watch?v=JlgS1kfRko8 ↩

  49. "CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021. https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html ↩

  50. Vesper, Inga (June 4, 2018). "Europe's top science funder shows high-risk research pays off". Nature. 558 (7708): 16–17. Bibcode:2018Natur.558...16V. doi:10.1038/d41586-018-05325-4. PMID 29872198. S2CID 46949722. https://doi.org/10.1038%2Fd41586-018-05325-4 ↩

  51. "John Atanassov Awards". https://m.president.bg/en/cat37/About-award-John-Atanasov ↩

  52. John Atanasoff Award 2009 - Vechev, retrieved December 13, 2021 https://www.youtube.com/watch?v=Vp7RZPPYXZ4 ↩

  53. "Мартин Вечев е носителят на тазгодишния приз". econ.bg (in Bulgarian). Retrieved December 13, 2021. https://econ.bg/Новини/Мартин-Вечев-е-носителят-на-тазгодишния-приз-Джон-Атанасов-_l.a_i.170782_at.1.html ↩