Martin Vechev (Preferred)
Martin T. Vechev
Martin Vechev
Full Professor, Computer Science, ETHZ - ETH Zurich
Joined
December 2016
Names
,
Emails
****@inf.ethz.ch (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, ETHZ - ETH Zurich (ethz.ch)
2022 – Present
Associate Professor
Computer Science, ETHZ - ETH Zurich (ethz.ch)
2017 – 2022
Assistant Professor
Computer Science, ETHZ - ETH Zurich (ethz.ch)
2012 – 2017
Advisors, Relations & Conflicts
Expertise
safe and secure AI
, AI for mathematics
, LLM security
, AI for programming languages and program analysis
, AI and symbolic reasoning
, combining logic and AI
, trustworthy AI
Present
Publications
Co-Authors
- Ahmed El-Hassany
- Alex Aiken
- Alex Thillen
- Alexander Bakarsky
- Alexander Hägele
- Alexander Spiridonov
- Alexey Gronskiy
- Anders Møller
- Andreas Krause
- Andrei Marian Dan
- André Kahles
- Angéline Pouget
- Anian Ruoss
- Anna Gueorguieva
- Anouk Paradis
- Anton Alexandrov
- Anton Permenev
- Arthur Gervais
- Arun Raman
- Banjamin Bichsel
- Batuhan Tömekçe
- Benjamin Bichsel
- Berkay Berabi
- Boris Petrov
- Casper Svenning Jensen