Martin Vechev

Martin Vechev
Мартин Вечев
Professor Martin Vechev
Born (1977-07-24) 24 July 1977 (age 47)
Sofia, Bulgaria
NationalityBulgarian
Alma mater
Known forMachine learning for code (BigCode), Robust and Trustworthy AI, Quantum Programming, Silq Programming Language
Awards
Scientific career
FieldsProgramming Languages, Machine Learning, Security
Institutions
Doctoral advisorMartin Richards (computer scientist)
Websitehttps://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),[1] 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,[2] reliable and trustworthy artificial intelligence,[1] 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][12] which helped shape the area of AI for code. Vechev has also co-authored over 170 research publications,[13] some of which have been recognized with best paper awards, distinguished paper awards, as well as spotlight and oral selections.[14]

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.

  1. ^ a b "SafeAI: Safe Artificial Intelligence". safeai.ethz.ch.
  2. ^ "Building the next generation AI systems". ERC. April 29, 2024.
  3. ^ "Silq is a new high-level programming language for quantum computers". TechCrunch. Retrieved December 19, 2021.
  4. ^ "ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019.
  5. ^ "Robin Milner Young Researcher Award". www.sigplan.org.
  6. ^ "Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021.
  7. ^ "313 new ERC Consolidator Grants to tackle big scientific questions". ERC. September 5, 2024. Retrieved September 13, 2024.
  8. ^ "ERC Consolidator Grants for Otmar Hilliges and Martin Vechev". inf.ethz.ch. March 17, 2022. Retrieved September 13, 2024.
  9. ^ "Building the next generation AI systems". ERC: European Research Council. 2015.
  10. ^ Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021
  11. ^ "CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021.
  12. ^ 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.
  13. ^ "dblp: Martin T. Vechev". dblp.org. Retrieved September 15, 2024.
  14. ^ "Publications". SRI Lab. Retrieved September 15, 2024.