Martin Vechev Explained

Martin Vechev
Native Name:Мартин Вечев
Birth Date:1977 7, df=y
Birth Place:Sofia, Bulgaria
Nationality:Bulgarian
Field:Programming Languages, Machine Learning, Security
Doctoral Advisor:Martin Richards (computer scientist)
Known For:Machine learning for code (BigCode), Robust and Trustworthy AI, Quantum Programming, Silq Programming Language
Website:https://www.sri.inf.ethz.ch/people/martin
https://insait.ai/prof-martin-vechev/

Martin Vechev (born 24 July 1977) is a full professor at the department of computer science at ETH Zurich, working in the fields of programming languages, machine learning and computer security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science.

Vechev is the founder, architect and Scientific Director of INSAIT, a research center in computer science and artificial intelligence in Eastern Europe, created in partnership with ETH Zurich and EPFL.

He is known for his works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases,[1] reliable and trustworthy artificial intelligence,[2] where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq.[3]

Vechev has received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019,[4] [5] [6] an ERC Consolidator Grant[7] [8] in 2021, a mid-career award given to outstanding researchers with highly promising scientific track records focusing on safe and trustworthy AI, and a highly-visible ERC Starting Grant,[9] [10] [11] which helped shape the area of AI for code. Vechev has also co-authored over 170 research publications,[12] some of which have been recognized with best paper awards, distinguished paper awards, as well as spotlight and oral selections.[13]

Prior to starting at ETH Zurich in 2012, Vechev was a Research Staff Member at the IBM T.J. Watson Research Center in New York, US from 2007 to 2011.

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 Award[14] and the ETH medal.Gagandeep Singh received the ACM SIGPLAN Doctoral Dissertation Award.[15] [16] Samuel Steffen was awarded the ACM SIGSAC Doctoral Dissertation Award Runner-Up.[17] Benjamin Bichsel received both the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award[18] [19] and the ETH medal[20] on the topic of 'High-Level Quantum Programming'.Timon Gehr received the ETH medal.[21] Rüdiger Birkner was awarded the 2022 EuroSys Roger Needham Ph.D. Award.[22] Dimitar K. Dimitrov received the ETH medal.[23]

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:

Awards

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

Notes and References

  1. Web site: Building the next generation AI systems. April 29, 2024. ERC.
  2. Web site: SafeAI: Safe Artificial Intelligence. safeai.ethz.ch.
  3. Web site: Silq is a new high-level programming language for quantum computers. 2021-12-19. TechCrunch. en-US.
  4. News: 2019. ACM Young Researcher Award for Prof. Martin Vechev. ETH Zurich.
  5. Web site: Robin Milner Young Researcher Award. www.sigplan.org.
  6. Web site: Prof. Martin Vechev honoured with ACM Young Researcher Award. 2021-12-27. inf.ethz.ch. en.
  7. Web site: 2024-09-05 . 313 new ERC Consolidator Grants to tackle big scientific questions . 2024-09-13 . ERC . en.
  8. Web site: 2022-03-17 . ERC Consolidator Grants for Otmar Hilliges and Martin Vechev . 2024-09-13 . inf.ethz.ch . en.
  9. Web site: 2015. Building the next generation AI systems. ERC: European Research Council.
  10. Web site: CHF 10 million for young talents. 2021-12-16. ethz.ch. December 14, 2015 . en.
  11. Vesper. Inga. 2018-06-04. Europe's top science funder shows high-risk research pays off. Nature. en. 558. 7708. 16–17. 10.1038/d41586-018-05325-4. 29872198 . 2018Natur.558...16V . 46949722 . free.
  12. Web site: dblp: Martin T. Vechev . 2024-09-15 . dblp.org . en.
  13. Web site: Publications . 2024-09-15 . SRI Lab . en.
  14. Web site: Veselin Raychev . 2024-09-15 . awards.acm.org . en.
  15. Web site: 2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh. 2021-12-16. inf.ethz.ch. September 14, 2021 . en.
  16. Web site: John C. Reynolds Doctoral Dissertation Award. 2021-12-16. www.sigplan.org.
  17. Web site: ACM SIGSAC Dissertation Awards . 2024-09-15 . www.sigsac.org.
  18. Web site: John C. Reynolds Doctoral Dissertation Award . 2024-09-13 . www.sigplan.org.
  19. Web site: 2024-07-02 . ACM SIGPLAN Dissertation Award for Benjamin Bichsel . 2024-09-15 . inf.ethz.ch . en.
  20. Web site: 2023-11-15 . Five doctoral graduates receive ETH Medals . 2024-09-15 . inf.ethz.ch . en.
  21. Web site: 2022-11-08 . Four doctoral graduates receive ETH Medals . 2024-09-15 . inf.ethz.ch . en.
  22. Web site: European Chapter of ACM SIGOPS - Roger Needham PhD Award . 2024-09-15 . www.eurosys.org . en-US.
  23. Web site: ETH Medal for doctoral theses . 2024-09-15 . inf.ethz.ch . en.
  24. Web site: ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems . 2021-12-13 . TechCrunch . en-US.
  25. Web site: Joint services announce winners of global AI competition . 2021-12-13 . www.army.mil . en.
  26. Web site: Yovchev. Etien. 2021-12-03. Seeing strong product adoption LatticeFlow expands to Sofia to accelerate the development of its platform for robust AI models. 2021-12-18. TheRecursive.com. en-GB.
  27. Web site: Snyk acquires DeepCode to boost its code review smarts . 2021-12-13 . TechCrunch . en-US.
  28. Web site: September 23, 2020 . ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity . 2021-12-16 . ethz.ch . en.
  29. Web site: 2020-09-23 . AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn . 2021-12-16 . Trending Topics . en-US.
  30. Web site: ETH spin-off ChainSecurity is taken over by PwC Switzerland . 2021-12-13 . inf.ethz.ch . en.
  31. Web site: Why Playfair Capital invested in NetFabric.ai . 2024-09-13 . www.tribume.com.
  32. Web site: България . Forbes . 2024-07-12 . Стартъпът с българско участие NetFabric поглежда към 1.6-милиардния пазар на мониторинг на мрежи . 2024-09-13 . forbesbulgaria.com . bg-BG.
  33. Web site: Laoun . Joy . Zurich-based startup NetFabric.ai secures $2.2M to transform network monitoring . 2024-09-13 . vestbee.com . en.
  34. Web site: Invariant Labs . 2024-09-15 . invariantlabs.ai . en.
  35. Web site: LogicStar AI . 2024-09-15 . logicstar.ai . en.
  36. Web site: SIGPLAN Research Highlights Papers. 2021-12-27. www.sigplan.org. en.
  37. Book: Raychev. Veselin. Vechev. Martin. Krause. Andreas. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . Predicting Program Properties from "Big Code" . 2015-01-14. https://doi.org/10.1145/2676726.2677009. POPL '15. New York, NY, USA. Association for Computing Machinery. 111–124. 10.1145/2676726.2677009. 978-1-4503-3300-9. 14571254 .
  38. Web site: Krause. Veselin Raychev, Martin Vechev, Andreas. Predicting Program Properties from 'Big Code'. 2021-12-27. cacm.acm.org. en.
  39. Web site: Rinard. Martin C.. Technical Perspective: Borrowing Big Code to Automate Programming Activities. 2021-12-27. cacm.acm.org. en.
  40. Web site: John Atanassov Awards.
  41. Web site: Мартин Вечев е носителят на тазгодишния приз. 2021-12-13. econ.bg. bg.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Martin Vechev".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2025, A B Cryer, All Rights Reserved. Cookie policy.