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