Martin Vechev
Bulgarian computer scientist From Wikipedia, the free encyclopedia
Bulgarian computer scientist From Wikipedia, the free encyclopedia
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.
Martin Vechev | |
---|---|
Мартин Вечев | |
Born | 24 July 1977 |
Nationality | Bulgarian |
Alma mater | University of Cambridge Simon Fraser University |
Known for | Machine learning for code (BigCode), Robust and Trustworthy AI, Quantum Programming, Silq Programming Language |
Awards | ACM 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 | |
Fields | Programming Languages, Machine Learning, Security |
Institutions | ETH Zurich |
Website | https://www.sri.inf.ethz.ch |
Prof. Vechev is the Founder and Architect of INSAIT, the first world-class research center in computer science and artificial intelligence in Eastern Europe, created in partnership with ETH Zurich and EPFL.
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]
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.
He has been in a group at ETH Zurich that has resulted in the creation of popular systems:
He has also co-founded the deep tech start-ups:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.