Martin Vechev

Prof. Dr. Martin Vechev is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on automated reasoning, machine learning, safe artificial intelligence, and security. He is affiliated with ETH Zurich and maintains a profile page at https://inf.ethz.ch/people/person-detail.vechev.html.

Martin Vechev is a Full Professor of Computer Science at ETH Zurich and Scientific Director at INSAIT, Sofia University. His research focuses on Programming Languages, Machine Learning, and Security. He develops formal methods for verifying the correctness and security of software systems, particularly in the context of smart contracts and neural networks. His work includes tools like Securify and Verx for analyzing smart contract security, as well as methods for certifying neural network robustness using abstract interpretation. He also explores the use of large language models for code generation, security testing, and adversarial analysis. His research bridges theoretical foundations with practical applications in software and AI safety.