Martin Vechev

Last updated

Martin Vechev
Мартин Вечев
Born24 July 1977
Sofia, Bulgaria
NationalityBulgarian
Alma mater University of Cambridge
Simon Fraser University
Known forMachine learning for code (BigCode), Robust and Trustworthy AI, Quantum Programming, Silq Programming Language
AwardsACM SIGPLAN Robin Milner Young Researcher Award 2019
John Atanasoff Award
ERC Starting Grant
IBM Extraordinary Accomplishment Award
IBM Research Outstanding Project Award
Distinguished Paper Awards (RV 2010, OOPSLA 2016)
Google Faculty Award
Facebook Faculty Award
Scientific career
FieldsProgramming Languages, Machine Learning, Security
Institutions ETH Zurich
Website https://www.sri.inf.ethz.ch

Martin Vechev is a professor at the Department 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. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, [1] reliable and trustworthy artificial intelligence, [2] 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]

Contents

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

Vechev has also co-founded the deep tech start-ups LatticeFlow, [13] [14] DeepCode, [15] [16] [17] and ChainSecurity. [18]

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. 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, USA in the period 2007-2011.

Career

He has been in a group at ETH Zurich that has resulted in the creation of popular systems:

He has also co-founded the deep tech start-ups:

Awards

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">Oberon (programming language)</span> General-purpose programming language

Oberon is a general-purpose programming language first published in 1987 by Niklaus Wirth and the latest member of the Wirthian family of ALGOL-like languages. Oberon was the result of a concentrated effort to increase the power of Modula-2, the direct successor of Pascal, and simultaneously to reduce its complexity. Its principal new feature is the concept of type extension of record types. It permits constructing new data types on the basis of existing ones and to relate them, deviating from the dogma of strictly static typing of data. Type extension is Wirth's way of inheritance reflecting the viewpoint of the parent site. Oberon was developed as part of the implementation of an operating system, also named Oberon at ETH Zurich in Switzerland. The name was inspired both by the Voyager space probe's pictures of the moon of the planet Uranus, named Oberon, and because Oberon is famous as the king of the elfs.

<span class="mw-page-title-main">Bertrand Meyer</span> French computer scientist

Bertrand Meyer is a French academic, author, and consultant in the field of computer languages. He created the Eiffel programming language and the idea of design by contract.

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

<span class="mw-page-title-main">Lilith (computer)</span> 1980 custom-built workstation computer

The DISER Lilith is a custom built workstation computer based on the Advanced Micro Devices (AMD) 2901 bit slicing processor, created by a group led by Niklaus Wirth at ETH Zurich. The project began in 1977, and by 1984 several hundred workstations were in use. It has a high resolution full page portrait oriented cathode ray tube display, a mouse, a laser printer interface, and a computer networking interface. Its software is written fully in Modula-2 and includes a relational database program named Lidas.

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

Kronos is a series of 32-bit processor equipped printed circuit board systems, and the workstations based thereon, of a proprietary hardware architecture developed in the mid-1980s in Akademgorodok, a research city in Siberia, by the Academy of Sciences of the Soviet Union, Siberian branch, Novosibirsk Computing Center, Modular Asynchronous Developable Systems (MARS) project, Kronos Research Group (KRG).

<span class="mw-page-title-main">Barbara Liskov</span> American computer scientist

Barbara Liskov is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the introduction of abstract data types and the accompanying principle of data abstraction, along with the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.

<span class="mw-page-title-main">Ben Shneiderman</span> American computer scientist

Ben Shneiderman is an American computer scientist, a Distinguished University Professor in the University of Maryland Department of Computer Science, which is part of the University of Maryland College of Computer, Mathematical, and Natural Sciences at the University of Maryland, College Park, and the founding director (1983-2000) of the University of Maryland Human-Computer Interaction Lab. He conducted fundamental research in the field of human–computer interaction, developing new ideas, methods, and tools such as the direct manipulation interface, and his eight rules of design.

<span class="mw-page-title-main">History of compiler construction</span>

In computing, a compiler is a computer program that transforms source code written in a programming language or computer language, into another computer language. The most common reason for transforming source code is to create an executable program.

Modula-2 is a structured, procedural programming language developed between 1977 and 1985/8 by Niklaus Wirth at ETH Zurich. It was created as the language for the operating system and application software of the Lilith personal workstation. It was later used for programming outside the context of the Lilith.

<span class="mw-page-title-main">Marta Kwiatkowska</span> British computer scientist

Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom.

Jürg Gutknecht is a Swiss computer scientist. He developed, with Niklaus Wirth, the programming language Oberon and the corresponding operating system Oberon.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

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

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.

<span class="mw-page-title-main">Olga Sorkine-Hornung</span> Computer scientist

Olga Sorkine-Hornung is a professor of Computer Science at ETH Zurich working in the fields of computer graphics, geometric modeling and geometry processing. She has received multiple awards, including the ACM SIGGRAPH Significant New Researcher Award in 2011.

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

References

  1. ↑ "Building the next generation AI systems".
  2. ↑ "Safe and reliable artificial intelligence".
  3. 1 2 "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".
  6. 1 2 "Prof. Martin Vechev honoured with ACM Young Researcher Award". inf.ethz.ch. Retrieved December 27, 2021.
  7. 1 2 "Building the next generation AI systems". ERC: European Research Council. 2015.
  8. 1 2 Interview at the European Parliament on ERC grants by Martin Vechev (ERC starting grant holder). , retrieved December 16, 2021
  9. 1 2 "CHF 10 million for young talents". ethz.ch. December 14, 2015. Retrieved December 16, 2021.
  10. 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.
  11. ↑ "2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh". inf.ethz.ch. September 14, 2021. Retrieved December 16, 2021.
  12. ↑ "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. Retrieved December 16, 2021.
  13. ↑ "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 13, 2021.
  14. ↑ "Joint services announce winners of global AI competition". www.army.mil. Retrieved December 13, 2021.
  15. 1 2 "Snyk acquires DeepCode to boost its code review smarts". TechCrunch. Retrieved December 13, 2021.
  16. 1 2 "ETH AI spin-off DeepCode acquired by a unicorn in cybersecurity". ethz.ch. September 23, 2020. Retrieved December 16, 2021.
  17. 1 2 "AI Code Analysis Startup Founded by a Bulgarian Team Gets Acquired by a Cybersecurity Unicorn". Trending Topics. September 23, 2020. Retrieved December 16, 2021.
  18. 1 2 "ETH spin-off ChainSecurity is taken over by PwC Switzerland". inf.ethz.ch. Retrieved December 13, 2021.
  19. ↑ Zurich, E. T. H. "The First Intuitive Programming Language for Quantum Computers". cacm.acm.org. Retrieved December 27, 2021.
  20. ↑ "ETH spin-off LatticeFlow raises $2.8M to help build trustworthy AI systems". TechCrunch. Retrieved December 18, 2021.
  21. ↑ 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.
  22. ↑ "SIGPLAN Research Highlights Papers". www.sigplan.org. Retrieved December 27, 2021.
  23. ↑ 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.
  24. ↑ 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)
  25. ↑ Rinard, Martin C. "Technical Perspective: Borrowing Big Code to Automate Programming Activities". cacm.acm.org. Retrieved December 27, 2021.
  26. ↑ Raychev, Veselin; Vechev, Martin; Sridharan, Manu (October 29, 2013). "Effective race detection for event-driven programs". Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications. OOPSLA '13. New York, NY, USA: Association for Computing Machinery. pp. 151–166. doi:10.1145/2509136.2509538. ISBN   978-1-4503-2374-1. S2CID   9750610.
  27. ↑ "Twitter post by Manu Sridharan: Outstanding Artifact Award for EventRacer". Twitter.
  28. ↑ "John Atanassov Awards".
  29. ↑ John Atanasoff Award 2009 - Vechev , retrieved December 13, 2021
  30. ↑ "Мартин Вечев е носителят на тазгодишния приз". 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.