Martin Vechev

Last updated

Martin Vechev
Мартин Вечев
MartinVechev.jpg
Professor Martin Vechev
Born (1977-07-24) 24 July 1977 (age 47)
Sofia, Bulgaria
NationalityBulgarian
Alma mater
Known forMachine learning for code (BigCode), Robust and Trustworthy AI, Quantum Programming, Silq Programming Language
Awards
Scientific career
FieldsProgramming Languages, Machine Learning, Security
Institutions
Doctoral advisor Martin Richards (computer scientist)
Website https://www.sri.inf.ethz.ch/people/martin
https://insait.ai/prof-martin-vechev/

Martin Vechev (born 24 July 1977) 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) [1] , part of the Department of Computer Science.

Contents

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.

He is known for his works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, [2] reliable and trustworthy artificial intelligence, [1] 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] , 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. Vechev has also co-authored over 170 research publications [13] , some of which have been recognized with best paper awards, distinguished paper awards, as well as spotlight and oral selections [14] .

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.

Advised doctoral students

Vechev has supervised and graduated 17 doctoral students at ETH Zurich. Several of his Ph.D. students received major recognitions for their dissertations. Veselin Raychev received an Honorable Mention for the ACM Doctoral Dissertation Award [15] and the ETH medal. Gagandeep Singh received the ACM SIGPLAN Doctoral Dissertation Award. [16] [17] Samuel Steffen was awarded the ACM SIGSAC Doctoral Dissertation Award Runner-Up. [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'. Timon Gehr received the ETH medal. [22] Rüdiger Birkner was awarded the 2022 EuroSys Roger Needham Ph.D. Award. [23] Dimitar K. Dimitrov received the ETH medal. [24]

Early life and education

Martin 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.

Serial entrepreneurship

Vechev has also co-founded 6 deep tech start-ups:

Awards

Vechev's work has been recognized by many international awards, including:

Related Research Articles

<span class="mw-page-title-main">Niklaus Wirth</span> Swiss computer scientist (1934–2024)

Niklaus Emil Wirth was a Swiss computer scientist. He designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, "for developing a sequence of innovative computer languages".

<span class="mw-page-title-main">Richard R. Ernst</span> Swiss physical chemist and Nobel laureate (1933–2021)

Richard Robert Ernst was a Swiss physical chemist and Nobel laureate.

<span class="mw-page-title-main">ETH Zurich</span> Swiss Federal Institute of Technology in Zürich

ETH Zurich is a public research university in Zürich, Switzerland. Founded in 1854 with the stated mission to educate engineers and scientists, the university focuses primarily on science, technology, engineering, and mathematics.

<span class="mw-page-title-main">Oberon (operating system)</span> Operating system

The Oberon System is a modular, single-user, single-process, multitasking operating system written in the programming language Oberon. It was originally developed in the late 1980s at ETH Zurich. The Oberon System has an unconventional visual text user interface (TUI) instead of a conventional command-line interface (CLI) or graphical user interface (GUI). This TUI was very innovative in its time and influenced the design of the Acme text editor for the Plan 9 from Bell Labs operating system.

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

<span class="mw-page-title-main">Theo Wallimann</span>

Theo Wallimann is a Swiss biologist who was research group leader and Adjunct-Professor at the Institute of Cell Biology ETH Zurich and later at the Institute of Molecular Health Science https://mhs.biol.ethz.ch/about-us/emeriti-formermembers/wallimann.html at the ETH Zurich at the Biology Department https://biol.ethz.ch/en/, of the ETH Zurich, Switzerland.

The Institute for Mathematical Research is a mathematical research institution located at ETH Zurich and founded in 1964 by Beno Eckmann. Its main goals are to promote and facilitate the exchange between ETH Zurich and international leading mathematicians.

<span class="mw-page-title-main">Ueli Maurer (cryptographer)</span> Swiss cryptographer

Ueli Maurer is a professor of cryptography at the Swiss Federal Institute of Technology Zurich.

<span class="mw-page-title-main">Michael Franz</span> American computer scientist

Michael Franz is an American computer scientist best known for his pioneering work on just-in-time compilation and optimisation and on artificial software diversity. He is a Distinguished Professor of Computer Science in the Donald Bren School of Information and Computer Sciences at the University of California, Irvine (UCI), a Professor of Electrical Engineering and Computer Science in the Henry Samueli School of Engineering at UCI, and Director of UCI's Secure Systems and Software Laboratory.

Jan Leonhard Camenisch is a Swiss research scientist in cryptography and privacy and is currently the CTO of DFINITY. He previously worked at IBM Research – Zurich, Switzerland and has published over 100 widely cited scientific articles and holds more than 70 U.S. patents.

<span class="mw-page-title-main">Lars-Erik Cederman</span> Swiss-Swedish political scientist

Lars-Erik Cederman is a Swiss-Swedish political scientist and professor of International Conflict Research at ETH Zurich. His main fields of research are ethnic inequality and conflict, power-sharing, state formation and nationalism.

<span class="mw-page-title-main">Jean-Christophe Leroux</span>

Dr. Jean-Christophe Leroux is a French-Canadian full professor of Drug Formulation and Delivery at the Institute of Pharmaceutical Sciences at the Swiss Federal Institute of Technology ETH Zürich. His research is mainly focused on broadening the field of drug delivery, and the development of biodetoxification systems for the treatment of metabolite disorders. Additionally, he has made important contributions to the field of biomaterials for use in drug delivery.

Adrian Perrig is a Swiss computer science researcher and professor at ETH Zurich, leading the Network Security research group. His research focuses on networking and systems security, and specifically on the design of a secure next-generation internet architecture.

Mathias Payer is a Liechtensteinian computer scientist. His research is invested in software and system security. He is Associate Professor at the École Polytechnique Fédérale de Lausanne (EPFL) and head of the HexHive research group.

<span class="mw-page-title-main">Renato Renner</span> Swiss theoretical quantum physicist and professor

Renato Renner is a Swiss professor for Theoretical Physics at the Swiss Federal Institute of Technology (ETH) in Zurich, where he is head of the Research Group for Quantum Information Theory. His research interests include Quantum Information and Computation, the Foundations of Quantum Physics and Quantum thermodynamics.

<span class="mw-page-title-main">Paola Picotti</span> Italian biologist and academic

Paola Picotti is an Italian biochemist who is Professor for Molecular Systems Biology at ETH Zürich. She is Deputy Head of the Institute for Molecular Systems Biology. Her research investigates how the conformational changes of proteins impact molecular networks with cells. She received numerous awarded awards, among which the 2019 EMBO Gold Medal.

Athina Anastasaki is a Greek chemist who is a professor at ETH Zurich. Her research considers chemical synthesis and radical polymerisation. She was awarded the 2022 Ruzicka Prize in recognition of her research in chemistry.

<span class="mw-page-title-main">Torsten Hoefler</span> Computer science professor

Torsten Hoefler is a Professor of Computer Science at ETH Zurich and the Chief Architect for Machine Learning at the Swiss National Supercomputing Centre. Previously, he led the Advanced Application and User Support team at the Blue Waters Directorate of the National Center for Supercomputing Applications, and held an adjunct professor position at the Computer Science Department at the University of Illinois at Urbana Champaign. His expertise lies in large-scale parallel computing and high-performance computing systems. He focuses on applications in large-scale artificial intelligence as well as climate sciences.

Hector Geffner is an Argentinian computer scientist and a Alexander von Humboldt Professor of artificial intelligence at RWTH Aachen University and Wallenberg Guest Professor in AI at Linköping University. His research interests are focused on artificial intelligence, especially automated planning and the integration of model-based AI and data-based AI. He is best known for his work on domain-independent heuristic planning and received several International Conference on Automated Planning and Scheduling (ICAPS) influential paper awards. Previously he held a research professorship at ICREA and the Artificial Intelligence and Machine Learning Group at University Pompeu Fabra in Barcelona since 2001. He was a staff researcher at the IBM Thomas J. Watson Research Center from 1990 to 1992 and a professor at Simón Bolívar University in Caracas, Venezuela from 1992 to 2001. Geffner was awarded an ERC Advanced Grant in 2020 to explore the connection between machine learning and model-based AI, and is a former board member and current fellow of the European Association for Artificial Intelligence (EurAI).. He was elected an AAAI Fellow in 2007.

Geneviève Défago is a former lecturer in phytopathology at the Institute of Plant Sciences in the discipline of phytomedicine at ETH Zurich, the Swiss Federal Institute of Technology in Zurich, Switzerland. She was the director of interuniversity and interdisciplinary projects devoted to biological control and biosafety. In 1990, she was awarded the title of Professor. She retired at the end of July 2006.

References

  1. 1 2 "SafeAI: Safe Artificial Intelligence". safeai.ethz.ch.
  2. ↑ "Building the next generation AI systems". ERC. April 29, 2024.
  3. ↑ "Silq is a new high-level programming language for quantum computers". TechCrunch. Retrieved December 19, 2021.
  4. 1 2 "ACM Young Researcher Award for Prof. Martin Vechev". ETH Zurich. 2019.
  5. 1 2 "Robin Milner Young Researcher Award". www.sigplan.org.
  6. 1 2 "Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021.
  7. 1 2 "313 new ERC Consolidator Grants to tackle big scientific questions". ERC. September 5, 2024. Retrieved September 13, 2024.
  8. 1 2 "ERC Consolidator Grants for Otmar Hilliges and Martin Vechev". inf.ethz.ch. March 17, 2022. Retrieved September 13, 2024.
  9. 1 2 "Building the next generation AI systems". ERC: European Research Council. 2015.
  10. 1 2 Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder). , retrieved December 16, 2021
  11. 1 2 "CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021.
  12. 1 2 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.
  13. ↑ "dblp: Martin T. Vechev". dblp.org. Retrieved September 15, 2024.
  14. ↑ "Publications". SRI Lab. Retrieved September 15, 2024.
  15. ↑ "Veselin Raychev". awards.acm.org. Retrieved September 15, 2024.
  16. ↑ "2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh". inf.ethz.ch. September 14, 2021. Retrieved December 16, 2021.
  17. ↑ "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved December 16, 2021.
  18. ↑ "ACM SIGSAC Dissertation Awards". www.sigsac.org. Retrieved September 15, 2024.
  19. ↑ "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved September 13, 2024.
  20. ↑ "ACM SIGPLAN Dissertation Award for Benjamin Bichsel". inf.ethz.ch. July 2, 2024. Retrieved September 15, 2024.
  21. ↑ "Five doctoral graduates receive ETH Medals". inf.ethz.ch. November 15, 2023. Retrieved September 15, 2024.
  22. ↑ "Four doctoral graduates receive ETH Medals". inf.ethz.ch. November 8, 2022. Retrieved September 15, 2024.
  23. ↑ "European Chapter of ACM SIGOPS - Roger Needham PhD Award". www.eurosys.org. Retrieved September 15, 2024.
  24. ↑ "ETH Medal for doctoral theses". inf.ethz.ch. Retrieved September 15, 2024.
  25. ↑ "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 13, 2021.
  26. ↑ "Joint services announce winners of global AI competition". www.army.mil. Retrieved December 13, 2021.
  27. ↑ Yovchev, Etien (December 3, 2021). "Seeing strong product adoption LatticeFlow expands to Sofia to accelerate the development of its platform for robust AI models". TheRecursive.com. Retrieved December 18, 2021.
  28. ↑ "Snyk acquires DeepCode to boost its code review smarts". TechCrunch. Retrieved December 13, 2021.
  29. ↑ "ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity". ethz.ch. September 23, 2020. Retrieved December 16, 2021.
  30. ↑ "AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn". Trending Topics. September 23, 2020. Retrieved December 16, 2021.
  31. ↑ "ETH spin-off ChainSecurity is taken over by PwC Switzerland". inf.ethz.ch. Retrieved December 13, 2021.
  32. ↑ "Why Playfair Capital invested in NetFabric.ai". www.tribume.com. Retrieved September 13, 2024.
  33. ↑ България, Forbes (July 12, 2024). "Стартъпът с българско участие NetFabric поглежда към 1.6-милиардния пазар на мониторинг на мрежи". forbesbulgaria.com (in Bulgarian). Retrieved September 13, 2024.
  34. ↑ Laoun, Joy. "Zurich-based startup NetFabric.ai secures $2.2M to transform network monitoring". vestbee.com. Retrieved September 13, 2024.
  35. ↑ "Invariant Labs". invariantlabs.ai. Retrieved September 15, 2024.
  36. ↑ "LogicStar AI". logicstar.ai. Retrieved September 15, 2024.
  37. ↑ "SIGPLAN Research Highlights Papers". www.sigplan.org. Retrieved December 27, 2021.
  38. ↑ Raychev, Veselin; Vechev, Martin; Krause, Andreas (January 14, 2015). "Predicting Program Properties from "Big Code"". Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '15. New York, NY, USA: Association for Computing Machinery. pp. 111–124. doi:10.1145/2676726.2677009. ISBN   978-1-4503-3300-9. S2CID   14571254.
  39. ↑ Krause, Veselin Raychev, Martin Vechev, Andreas. "Predicting Program Properties from 'Big Code'". cacm.acm.org. Retrieved December 27, 2021.{{cite web}}: CS1 maint: multiple names: authors list (link)
  40. ↑ Rinard, Martin C. "Technical Perspective: Borrowing Big Code to Automate Programming Activities". cacm.acm.org. Retrieved December 27, 2021.
  41. ↑ "John Atanassov Awards".
  42. ↑ John Atanasoff Award 2009 - Vechev , retrieved December 13, 2021
  43. ↑ "Мартин Вечев е носителят на тазгодишния приз". econ.bg (in Bulgarian). Retrieved December 13, 2021.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.