Global InformationMartin Vechev information
Martin Vechev | |
|---|---|
| Мартин Вечев | |
| Born | 24 July 1977 Sofia, Bulgaria |
| 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 |
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.
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]
- ^ "Building the next generation AI systems".
- ^ "Safe and reliable artificial intelligence".
- ^ "Silq is a new high-level programming language for quantum computers". TechCrunch. Retrieved December 19, 2021.
- ^ "ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019.
- ^ "Robin Milner Young Researcher Award".
- ^ "Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021.
- ^ "Building the next generation AI systems". ERC: European Research Council. 2015.
- ^ Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021
- ^ "CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021.
- ^ 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.
- ^ "2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh". inf.ethz.ch. September 14, 2021. Retrieved December 16, 2021.
- ^ "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved December 16, 2021.
- ^ "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 13, 2021.
- ^ "Joint services announce winners of global AI competition". www.army.mil. Retrieved December 13, 2021.
- ^ "Snyk acquires DeepCode to boost its code review smarts". TechCrunch. Retrieved December 13, 2021.
- ^ "ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity". ethz.ch. September 23, 2020. Retrieved December 16, 2021.
- ^ "AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn". Trending Topics. September 23, 2020. Retrieved December 16, 2021.
- ^ "ETH spin-off ChainSecurity is taken over by PwC Switzerland". inf.ethz.ch. Retrieved December 13, 2021.