Suggestions
Martin Vechev
Founder and Architect of INSAIT, Full Professor at ETH Zurich
Martin Vechev is a prominent figure in the field of computer science and artificial intelligence. He is currently a Full Professor at ETH Zurich and the founder of INSAIT (Institute for Computer Science, Artificial Intelligence and Technology).2
Professional Background
Martin Vechev has an extensive academic and entrepreneurial background:
Academic Career::
- Full Professor at ETH Zurich (March 2022 - Present)
- Associate Professor at ETH Zurich (July 2017 - March 2022)
- Tenure-Track Assistant Professor at ETH Zurich (January 2012 - July 2017)2
Entrepreneurial Ventures::
- Founder and Architect of INSAIT
- Co-founder of Invariant Labs (July 2024)
- Co-founder and Scientific Adviser at LatticeFlow (July 2020 - Present)
- Co-founder and Scientific Adviser at DeepCode AG (December 2016 - October 2020)2
Research and Expertise
Martin Vechev leads the Secure, Reliable, Intelligent Systems Lab (SRI) at ETH Zurich.2 His research interests include:
- Machine Learning
- Algorithms
- Program Analysis
- Program Synthesis
- Concurrency1
He is also a core faculty member at the ETH Quantum Center and the ETH AI Center, focusing on next-generation quantum computing and reliable and trustworthy AI, respectively.2
Awards and Recognition
Martin Vechev has received several prestigious awards for his contributions to computer science:
- ERC Consolidator Grant (2022)
- ERC Starting Grant (2015)
- John Atanasoff Award (2009)
- Various IBM Research awards (2009)2
Education
- Doctor of Philosophy in Computer Science from the University of Cambridge (2003-2008)
- Bachelor of Science in Computer Science from Simon Fraser University (1996-2001)1
Martin Vechev's LinkedIn username is indeed martinvechev, as mentioned in the query.2
Highlights
This is quite interesting. Google released the conference rankings across ALL areas of science few weeks ago. In the top 10, 3 are from AI and in the top 20, 5 are from AI (!). Over the last year, INSAIT - Institute for Computer Science, Artificial Intelligence and Technology has published 33 papers in the conferences in red. Before INSAIT, Bulgaria had practically no papers in the conferences in red. It will be very interesting how this affects the university rankings, i.e., Sofia University, that is, if someone fills the documents correctly :)
Congratulations to Anouk Paradis who successfully defended her PhD thesis at ETH Zürich on advanced programming languages (PL) techniques for quantum computing (PhD graduate #16 for me). Anouk's thesis makes a number of key contributions, including a new algorithm for quantum uncomputation, synthesis of quantum circuits from high-level specs, and abstract quantum simulation, all of which advance the state-of-the-art in programming quantum circuits and all of which are published at top PL conferences and quantum journals. Before joining our group for a PhD, Anouk received the prestigious ETH Excellence Scholarship when she joined ETH as a M.Sc. student from France, then received a medal for outstanding M.Sc. thesis at ETH. Thanks very much to the other members of the thesis committee: prof. Jens Palsberg (UCLA, a leader in Challenge Institute for Quantum Computation (CIQC), one of the largest quantum institutes in the world) and prof. Olivia Di Matteo (UBC) as well as prof. David Basin (ETH Zurich) who chaired the defense.
