Martin Vechev

Martin Vechev is a professor 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, which is behind the creation of the first high-level quantum programming language Silq[1].

Martin Vechev
Born24 July 1977
Sofia, Bulgaria
NationalityBulgarian
Alma materUniversity of Cambridge
Simon Fraser University
Known forSilq Programming Language
AwardsACM SIGPLAN Robin Milner Young Researcher Award 2019
John Atanasoff Award
ERC Starting Grant
IBM Extraordinary Accomplishment Award
Google Faculty Award
Facebook Faculty Award
Scientific career
FieldsProgramming Languages, Machine Learning, Security
InstitutionsETH Zurich
Websitehttps://www.sri.inf.ethz.ch

Vechev has received multiple awards, including the ACM SIGPLAN Robin Milner Young Researcher Award in 2019[2][3] and a highly-visible ERC Starting Grant[4][5][6][7], 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[8][9].

Vechev has also co-founded the deep tech start-ups DeepCode[10][11][12], ChainSecurity[13], and LatticeFlow[14][15].

Biography

Vechev was born in Sofia, Bulgaria, where he attended the Sofia High School of Mathematics (SMG) from 1991 to 1994. He received a B.Sc. in Computer Science from Simon Fraser University in 2001 and a Ph.D. in Computer Science from the University of Cambridge in 2008. Prior to starting at ETH Zurich in 2012, Vechev was a Research Staff Member at the IBM T.J. Watson Research Center in in New York, USA in the period 2007-2011.

Awards

Vechev is the recipient of numerous awards and recognitions, including:

  • ACM SIGPLAN Robin Milner Young Researcher Award[2][3] for major contributions to the area of programming languages;
  • Distinguished Paper Awards (RV, OOPSLA);
  • SIGPLAN Research Highlight;
  • CACM Research Highlight;
  • ERC Starting Grant[4][5][6][7] for his project BIGCODE, which was the first to combine advanced programming languages with machine learning technics, to fundamentally change how developers build software;
  • Google and Facebook Faculty Research Awards;
  • Outstanding Artifact Award (OOPSLA);
  • IBM Research Division Award;
  • IBM Extraordinary Accomplishment Award (awarded by John Kelly, IBM Senior Vice President and Director of IBM Research);
  • IBM Research Outstanding Project Award;
  • John Atanasoff Award, awarded by the President of Bulgaria[16][17][18];
  • IBM Invention and Outstanding Technical Achievement Awards;
  • University Scholarships (SFU, Cambridge), and others.

Students

Doctoral students
  • Maximilian Baader
  • Luca Beurer-Kellner
  • Mislav Balunovic
  • Benjamin Bichsel
  • Rudiger Birkner
  • Dimitar I. Dimitrov
  • Marc Fischer
  • Timon Gehr
  • Jingxuan He
  • Pesho Ivanov
  • Nikola Jovanović
  • Matthew Mirman
  • Mark Niklas Müller
  • Anouk Paradis
  • Momchil Peychev
  • Samuel Steffen

Past doctoral and postdoctoral students

References
  1. "Silq is a new high-level programming language for quantum computers". TechCrunch. Retrieved December 13, 2021.
  2. "ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019.
  3. "Robin Milner Young Researcher Award".
  4. "Building the next generation AI systems". ERC: European Research Council. 2015.
  5. Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder)., retrieved December 16, 2021
  6. "CHF 10 million for young talents". ethz.ch. Retrieved December 16, 2021.
  7. Vesper, Inga (June 4, 2018). "Europe's top science funder shows high-risk research pays off". Nature. 558 (7708): 16–17. doi:10.1038/d41586-018-05325-4.
  8. "2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh". inf.ethz.ch. Retrieved December 16, 2021.
  9. "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved December 16, 2021.
  10. "Snyk acquires DeepCode to boost its code review smarts". TechCrunch. Retrieved December 13, 2021.
  11. "ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity". ethz.ch. Retrieved December 16, 2021.
  12. "AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn". Trending Topics. September 23, 2020. Retrieved December 16, 2021.
  13. "ETH spin-off ChainSecurity is taken over by PwC Switzerland". inf.ethz.ch. Retrieved December 13, 2021.
  14. "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 13, 2021.
  15. "Joint services announce winners of global AI competition". www.army.mil. Retrieved December 13, 2021.
  16. "John Atanassov Awards".
  17. John Atanasoff Award 2009 - Vechev, retrieved December 13, 2021
  18. "Мартин Вечев е носителят на тазгодишния приз". econ.bg (in Bulgarian). Retrieved December 13, 2021.
  19. "ETH Medal for doctoral theses". inf.ethz.ch. Retrieved December 16, 2021.
  20. "Outstanding Doctoral theses 2017" (PDF). ETH Medals Archives 2017.
  21. "Veselin Raychev". awards.acm.org. Retrieved December 16, 2021.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.