Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Martin Vechev
open-in-new
<p>Martin Vechev (born 24 July 1977) is a full professor at the department of <a href="/facts/Computer_science/lN3pEyPz">computer science</a> at <a href="/facts/ETH_Zurich/IxHAFGUU">ETH Zurich</a>, working in the fields of <a href="/facts/Programming_language/cWTYbgWa">programming languages</a>, <a href="/facts/Machine_learning/e0w0XJTu">machine learning</a> and <a href="/facts/Computer_security/7E5dIy7G">computer security</a>. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. </p><p>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. </p><p>He is known for his works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, 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. </p><p>Vechev has received the <a href="/facts/SIGPLAN/BoQyp9jf">ACM SIGPLAN Robin Milner Young Researcher Award</a> in 2019, an <a href="/facts/European_Research_Council/ajpwnCVz">ERC Consolidator Grant</a> 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 <a href="/facts/ERC_Starting_Grant/ajpwnCVz">ERC Starting Grant</a>, which helped shape the area of AI for code. Vechev has also co-authored over 170 research publications, some of which have been recognized with best paper awards, distinguished paper awards, as well as spotlight and oral selections. </p><p>Prior to starting at ETH Zurich in 2012, Vechev was a Research Staff Member at the <a href="/facts/Thomas_J._Watson_Research_Center/XfGnAzRW">IBM T.J. Watson Research Center</a> in New York, US from 2007 to 2011. </p>