Martin Vechev
Martin Vechev publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Distributed systems and fault tolerance, Logic, programming, and type systems and Software Engineering Research.
- World rank
- #10,108 of 1,633,909 ranked researchers
- Rank in Switzerland
- #223 of 19,404
- Works
- 77
- Citations
- 965
- Citations per work
- 12.5
What does Martin Vechev research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence34% of their works
- 2Computer Networks and Communications16% of their works
- 3Information Systems13% of their works
- 4Computational Theory and Mathematics9% of their works
- 5Software8% of their works
- 6Hardware and Architecture6% of their works
Research topics
- Distributed systems and fault tolerance
- Logic, programming, and type systems
- Software Engineering Research
- Adversarial Robustness in Machine Learning
- Parallel Computing and Optimization Techniques
- Software Testing and Debugging Techniques
- Formal Methods in Verification
- Explainable Artificial Intelligence (XAI)
Which keywords describe Martin Vechev's research?
The keywords of their largest research topics: Machine Learning, Model Checking, Distributed Systems, Fault Tolerance, Code Clone Detection, Formal Verification, Refactoring and Static Analysis.
- Machine Learning Interpretability
- Symbolic Model Checker
- Software Fault Localization
- Parallel Computing
- Automated Testing
- Static Analysis
- Formal Verification
- Fault Tolerance
- Model Checking
- Machine Learning
- Distributed Systems
- Code Clone Detection
- Refactoring
- Adversarial Examples
- Deep Learning
- Performance Optimization
- Satisfiability Modulo Theories
- Interpretable Models
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Machine Learning112 topics
- Model Checking102 topics
- Distributed Systems71 topic
- Fault Tolerance71 topic
- Code Clone Detection61 topic
- Formal Verification61 topic
- Refactoring61 topic
- Static Analysis61 topic
- Adversarial Examples51 topic
- Automated Testing51 topic
- Deep Learning51 topic
- Parallel Computing51 topic
- Performance Optimization51 topic
- Software Fault Localization51 topic
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Interpretable Models31 topic
- Machine Learning Interpretability31 topic
Where does Martin Vechev work?
Martin Vechev's main affiliation in the publication record is ETH Zurich, Switzerland.
How many publications and citations does Martin Vechev have?
Science Explorer counts 77 works and 965 citations for Martin Vechev, ranking #10,108 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.