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.
[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.
Veselin Raychev received an Honorable Mention for the ACM Doctoral Dissertation Award[15] and the ETH medal.
[18] Benjamin Bichsel received both the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award[19][20] and the ETH medal[21] on the topic of 'High-Level Quantum Programming'.