2026 Martin Vechev: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	58	3657	3555	83	83	253	12399

Research.com Recognitions

2025 - Research.com Computer Science in Switzerland Leader Award
2022 - Research.com Computer Science in Switzerland Leader Award

Overview

Martin Vechev is affiliated with ETH Zurich in Switzerland and has a research focus primarily within the domain of Computer Science. Their published work spans several subfields including Artificial Intelligence, Computer Vision and Pattern Recognition, Information Systems, Molecular Biology, and Computational Theory and Mathematics.

Their research topics cover a range of areas such as:

Adversarial Robustness in Machine Learning
Advanced Neural Network Applications
Privacy-Preserving Technologies in Data
Natural Language Processing Techniques
Explainable Artificial Intelligence (XAI)
Topic Modeling
Quantum Computing Algorithms and Architecture

Several frequent coauthors have collaborated with Martin Vechev, including:

Maximilian Baader
Mislav Balunović
Mark Niklas Müller
Robin Staab
Nikola Jovanović

The scientist has published extensively in various venues, with notable frequent publication sources being:

arXiv (Cornell University)
Repository for Publications and Research Data (ETH Zurich)
Proceedings of the ACM on Programming Languages
Artifact Digital Object Group
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security

Among their recent papers are:

"Adversarial Training and Provable Defenses: Bridging the Gap," 2020, Repository for Publications and Research Data (ETH Zurich)
"Prompting Is Programming: A Query Language for Large Language Models," 2023, Proceedings of the ACM on Programming Languages
"ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs," 2022, 2022 IEEE Symposium on Security and Privacy (SP)
"Certifying Geometric Robustness of Neural Networks," 2020, Repository for Publications and Research Data (ETH Zurich)
"PRIMA: general and precise neural network certification via scalable convex hull approximations," 2022, Proceedings of the ACM on Programming Languages

Best Publications

Securify: Practical Security Analysis of Smart Contracts

Petar Tsankov;Andrei Dan;Dana Drachsler-Cohen;Arthur Gervais

1004
Citations
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr;Matthew Mirman;Dana Drachsler-Cohen;Petar Tsankov

860
Citations
Code completion with statistical language models

Veselin Raychev;Martin Vechev;Eran Yahav

682
Citations
An abstract domain for certifying neural networks

Gagandeep Singh;Timon Gehr;Markus Püschel;Martin Vechev

623
Citations
Predicting Program Properties from "Big Code"

Veselin Raychev;Martin Vechev;Andreas Krause

399
Citations
Differentiable Abstract Interpretation for Provably Robust Neural Networks

Matthew Mirman;Timon Gehr;Martin T. Vechev

348
Citations
Fast and Effective Robustness Certification

Gagandeep Singh;Timon Gehr;Matthew Mirman;Markus Püschel

325
Citations
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts

Jingxuan He;Mislav Balunović;Nodar Ambroladze;Petar Tsankov

248
Citations
VerX: Safety Verification of Smart Contracts

Anton Permenev;Dimitar Dimitrov;Petar Tsankov;Dana Drachsler-Cohen

243
Citations
Abstraction-guided synthesis of synchronization

Martin Vechev;Eran Yahav;Greta Yorsh

192
Citations
Probabilistic model for code with decision trees

Veselin Raychev;Pavol Bielik;Martin Vechev

181
Citations
PHOG: probabilistic model for code

Pavol Bielik;Veselin Raychev;Martin Vechev

176
Citations
PSI: Exact Symbolic Inference for Probabilistic Programs

Timon Gehr;Sasa Misailovic;Sasa Misailovic;Martin T. Vechev

171
Citations
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated

Hagit Attiya;Rachid Guerraoui;Danny Hendler;Petr Kuznetsov

155
Citations
Learning programs from noisy data

Veselin Raychev;Pavol Bielik;Martin Vechev;Andreas Krause

154
Citations
Effective race detection for event-driven programs

Veselin Raychev;Martin Vechev;Manu Sridharan

154
Citations
QVM: an efficient runtime for detecting defects in deployed systems

Matthew Arnold;Martin Vechev;Eran Yahav

149
Citations
Automatic inference of memory fences

Michael Kuperstein;Martin Vechev;Eran Yahav

145
Citations
Automatic inference of memory fences

Michael Kuperstein;Martin Vechev;Eran Yahav

141
Citations
Statistical Deobfuscation of Android Applications

Benjamin Bichsel;Veselin Raychev;Petar Tsankov;Martin Vechev

140
Citations
Boosting Robustness Certification of Neural Networks.

Gagandeep Singh;Timon Gehr;Markus Püschel;Martin T. Vechev

93
Citations
Beyond the Single Neuron Convex Barrier for Neural Network Certification

Gagandeep Singh;Rupanshu Ganvir;Markus Püschel;Martin T. Vechev

93
Citations
Securify: Practical Security Analysis of Smart Contracts

Petar Tsankov;Andrei Dan;Dana Drachsler Cohen;Arthur Gervais

80
Citations
Adversarial Training and Provable Defenses: Bridging the Gap

Mislav Balunovic;Martin Vechev

78
Citations

Frequent Co-Authors

Eran Yahav Technion – Israel Institute of Technology

Markus Püschel ETH Zurich

David F. Bacon Google (United States)

Vivek Sarkar Georgia Institute of Technology

David Grove IBM (United States)

Perry Cheng IBM (United States)

Manu Sridharan University of California, Riverside

Peter Müller ETH Zurich

Andreas Krause ETH Zurich

Maged M. Michael Facebook (United States)

External Links

Personal website of Martin Vechev Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

If you’re considering studying Computer Science in the USA, you’ll find many related online degrees and career paths that can complement or broaden your expertise. For example, technology professionals often explore specialized areas such as data analytics or management to diversify their skills.

Data science is a highly sought-after field, and pursuing the cheapest masters in data science can be a strategic move for those interested in big data and machine learning. Similarly, a solid understanding of finance is crucial in today’s tech-driven business environment, and learning about accounting degree cost can help you find affordable options to complement your CS background.

Branching into areas like security or management can also open new career doors. For those curious about law enforcement or cybersecurity, a masters in criminology online can offer relevant insights. If your interests lean towards project management in technology or infrastructure, a construction management degree online could prove valuable.

Exploring these programs can help you find the right balance between your interests, career goals, and budget while building a competitive edge in the dynamic tech industry.