Serial entrepreneur, co-founder DeepCode (acq. by Snyk), EMBA (TRIUM), MSc (MIT).

A serial entrepreneur with a track record of scaling ideas and systems to profitability, he began his career at VistaPrint (now called Cimpress), witnessing its growth from a 30-person team to a unicorn and a successful IPO. He most recently co-founded DeepCode, which was acquired by Snyk, a leading $8B cybersecurity unicorn. He holds an EMBA from the TRIUM program and an MSc in Computer Science from MIT.

PhD from ETH Zurich, 15+ papers and 400+ citations. Notable industry collaborations.

PhD from ETH Zurich with a focus on provable guarantees for machine learning. Conducted PhD research on new analysis tools for real-world neural networks, resulting in 15+ papers and 400+ citations. Industry collaborations with Porsche, Mercedes, Airbus, and SBB. Awarded best Master’s and Bachelor’s degrees in Aerospace Engineering.

Serial entrepreneur, top researcher, co-founder of DeepCode (acq. by Snyk), PhD (ETH Zurich).

With a PhD from ETH Zurich focused on programming paradigms, Veselin has years of industry experience at Google, Motorola and Snyk. He has published leading research on code models, and his PhD thesis was instrumental in starting the area of AI for Code and for this work, he received the ACM Doctoral Dissertation, Honorable mention award (top 3 dissertations in the world across all areas of computer science), a remarkable achievement!
Raychev completed his B.Sc. (2006) and M.Sc. (2009) from Sofia University. Earlier he graduated from the Sofia Math High School (SMG) where as part of Bulgaria’s national team, he won a medal at the International Olympiad in Informatics (IOI).
As a serial entrepreneur, Veselin most recently co-founded DeepCode, which was acquired by Snyk, a prominent $8B cybersecurity unicorn. As part of his work in INSAIT Veselin launched BgGPT: a series of state-of-the-art generative AI for the Bulgarian language.

Professor at ETH Zurich. 200+ publications in AI, networking, programming paradigms and others.

Martin Vechev 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), 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.
Vechev also co-founded multiple AI-driven startups, including DeepCode, which was acquired by Snyk, a leading $8B cybersecurity unicorn and ChainSecurity for smart contract security (acquired by PwC.)
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.
Vechev has received the ACM SIGPLAN Robin Milner Young Researcher Award in 2019, an ERC Consolidator Grant 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, which helped shape the area of AI for code. Vechev has also co-authored over 200 research publications, some of which have been recognized with best paper awards, distinguished paper awards, as well as spotlight and oral selections.
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.