Biography:Martin Vechev

From HandWiki
Revision as of 06:46, 7 February 2024 by Rtexter1 (talk | contribs) (link)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Bulgarian computer scientist
Martin Vechev
Мартин Вечев
Born24 July 1977
Sofia, Bulgaria
NationalityBulgarian
Alma materUniversity of Cambridge
Simon Fraser University
Known forMachine learning for code (BigCode), Robust and Trustworthy AI, Quantum Programming, Silq Programming Language
AwardsACM SIGPLAN Robin Milner Young Researcher Award 2019
John Atanasoff Award
ERC Starting Grant
IBM Extraordinary Accomplishment Award
IBM Research Outstanding Project Award
Distinguished Paper Awards (RV 2010, OOPSLA 2016)
Google Faculty Award
Facebook Faculty Award
Scientific career
FieldsProgramming Languages, Machine Learning, Security
InstitutionsETH Zurich
Websitehttps://www.sri.inf.ethz.ch

Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering 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] and a highly-visible ERC Starting Grant,[7][8][9][10] which helped shape the area of machine learning for code. In 2016, his Ph.D. student Veselin Raychev received an Honorable Mention for the ACM Doctoral Dissertation Award and in 2021 his Ph.D. student Gagandeep Singh received the ACM SIGPLAN Doctoral Dissertation Award.[11][12]

Vechev has also co-founded the deep tech start-ups LatticeFlow,[13][14] DeepCode,[15][16][17] and ChainSecurity.[18]

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. 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, USA in the period 2007-2011.

Career

He has been in a group at ETH Zurich that has resulted in the creation of popular systems:

  • JSNice, DeGuard, and DeBIN, statistical deobfuscators for javascript, Android apps, and binary executables.
  • ETH Robustness Analyzer for Neural Networks (ERAN), a sound, precise, and scalable robustness verifier for deep neural networks based on abstract interpretation.
  • Silq, the first high-level programming language for quantum computing with a strong static type system [19][3]
  • PSI Solver, an exact inference engineer for probabilistic programs
  • ELINA, a state-of-the-art library for numerical abstract domains for static analysis
  • Securify and VerX, static analyzer and automated verifier for Ethereum smart contracts
  • SyNET, NetComplete, NetDice: systems for deterministic and probabilistic verification and synthesis for computer networks

He has also co-founded the deep tech start-ups:

  • LatticeFlow, building the world’s first platform for delivering robust and trustworthy AI systems.[20][21]
  • DeepCode, the first AI-based code review system, acquired by the security unicorn Snyk in 2020.[15][16][17]
  • and ChainSecurity, smart contract security audits based on formal mathematical guarantees, acquired by PwC Switzerland in 2020.[18]

Awards

  • ACM SIGPLAN Robin Milner Young Researcher Award[4][5][6] in 2019 for major contributions to the area of programming languages;
  • ACM SIGPLAN Research Highlight;[22]
  • CACM Research Highlight 2016;[23][24][25]
  • ERC Starting Grant[7][8][9][10] 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;
  • Outstanding Artifact Award (OOPSLA 2013);[26][27]
  • John Atanasoff Award 2009, awarded by the President of Bulgaria;[28][29][30]

References

  1. ↑ "Building the next generation AI systems". https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems. 
  2. ↑ "Safe and reliable artificial intelligence". http://safeai.ethz.ch/. 
  3. ↑ 3.0 3.1 "Silq is a new high-level programming language for quantum computers" (in en-US). https://social.techcrunch.com/2020/06/15/silq-is-a-new-high-level-programming-language-for-quantum-computers/. 
  4. ↑ 4.0 4.1 "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. 
  5. ↑ 5.0 5.1 "Robin Milner Young Researcher Award". https://www.sigplan.org/Awards/Milner/. 
  6. ↑ 6.0 6.1 "Prof. Martin Vechev honoured with ACM Young Researcher Award" (in en). https://inf.ethz.ch/news-and-events/spotlights/2019/06/Vechev-ACM-SIGPLAN-award.html. 
  7. ↑ 7.0 7.1 "Building the next generation AI systems". 2015. https://erc.europa.eu/projects-figures/stories/building-next-generation-ai-systems. 
  8. ↑ 8.0 8.1 (in en) Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., https://www.youtube.com/watch?v=JlgS1kfRko8, retrieved 2021-12-16 
  9. ↑ 9.0 9.1 "CHF 10 million for young talents" (in en). December 14, 2015. https://ethz.ch/en/news-and-events/eth-news/news/2015/12/chf-ten-million-for-young-talent.html. 
  10. ↑ 10.0 10.1 Vesper, Inga (2018-06-04). "Europe's top science funder shows high-risk research pays off" (in en). Nature 558 (7708): 16–17. doi:10.1038/d41586-018-05325-4. PMID 29872198. Bibcode: 2018Natur.558...16V. 
  11. ↑ "2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh" (in en). September 14, 2021. https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2021/09/acm-sigplan-dissertation-award-2021-singh.html. 
  12. ↑ "John C. Reynolds Doctoral Dissertation Award". https://www.sigplan.org/Awards/Dissertation/. 
  13. ↑ "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems" (in en-US). https://social.techcrunch.com/2021/01/19/eth-spin-off-latticeflow-raises-2-8m-to-help-build-trustworthy-ai-systems/. 
  14. ↑ "Joint services announce winners of global AI competition" (in en). https://www.army.mil/article/250419/joint_services_announce_winners_of_global_ai_competition. 
  15. ↑ 15.0 15.1 "Snyk acquires DeepCode to boost its code review smarts" (in en-US). https://social.techcrunch.com/2020/09/24/snyk-acquires-deepcode-to-boost-its-code-review-smarts/. 
  16. ↑ 16.0 16.1 "ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity" (in en). September 23, 2020. https://ethz.ch/en/news-and-events/eth-news/news/2020/09/deepcode.html. 
  17. ↑ 17.0 17.1 "AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn" (in en-US). 2020-09-23. https://www.trendingtopics.eu/deepcode-founded-by-a-bulgarian-team-gets-acquired/. 
  18. ↑ 18.0 18.1 "ETH spin-off ChainSecurity is taken over by PwC Switzerland" (in en). https://inf.ethz.ch/news-and-events/spotlights/2020/01/chainsecurity-pwc-switzerland.html. 
  19. ↑ Zurich, E. T. H.. "The First Intuitive Programming Language for Quantum Computers" (in en). https://cacm.acm.org/news/245638-the-first-intuitive-programming-language-for-quantum-computers/fulltext. 
  20. ↑ "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems" (in en-US). https://social.techcrunch.com/2021/01/19/eth-spin-off-latticeflow-raises-2-8m-to-help-build-trustworthy-ai-systems/. 
  21. ↑ Yovchev, Etien (2021-12-03). "Seeing strong product adoption LatticeFlow expands to Sofia to accelerate the development of its platform for robust AI models" (in en-GB). https://therecursive.com/seeing-strong-product-adoption-latticeflow-expands-to-sofia-to-accelerate-the-development-of-its-platform-for-robust-ai-models/. 
  22. ↑ "SIGPLAN Research Highlights Papers" (in en). https://www.sigplan.org/Highlights/Papers/. 
  23. ↑ Raychev, Veselin; Vechev, Martin; Krause, Andreas (2015-01-14). "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. https://doi.org/10.1145/2676726.2677009. 
  24. ↑ Krause, Veselin Raychev, Martin Vechev, Andreas. "Predicting Program Properties from 'Big Code'" (in en). https://cacm.acm.org/magazines/2019/3/234932-predicting-program-properties-from-big-code/fulltext. 
  25. ↑ Rinard, Martin C.. "Technical Perspective: Borrowing Big Code to Automate Programming Activities" (in en). https://cacm.acm.org/magazines/2019/3/234924-technical-perspective-borrowing-big-code-to-automate-programming-activities/fulltext. 
  26. ↑ Raychev, Veselin; Vechev, Martin; Sridharan, Manu (2013-10-29). "Effective race detection for event-driven programs". Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications. OOPSLA '13. New York, NY, USA: Association for Computing Machinery. pp. 151–166. doi:10.1145/2509136.2509538. ISBN 978-1-4503-2374-1. https://doi.org/10.1145/2509136.2509538. 
  27. ↑ "Twitter post by Manu Sridharan: Outstanding Artifact Award for EventRacer". https://pbs.twimg.com/media/BXxgpPOCEAIXl1u?format=jpg&name=4096x4096. 
  28. ↑ "John Atanassov Awards". https://m.president.bg/en/cat37/About-award-John-Atanasov. 
  29. ↑ (in en) John Atanasoff Award 2009 - Vechev, https://www.youtube.com/watch?v=Vp7RZPPYXZ4, retrieved 2021-12-13 
  30. ↑ "Мартин Вечев е носителят на тазгодишния приз" (in bg). https://econ.bg/Новини/Мартин-Вечев-е-носителят-на-тазгодишния-приз-Джон-Атанасов-_l.a_i.170782_at.1.html. 



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Martin_Vechev&oldid=3405868"