About me
I am an established researcher at the Department of Computer Science at ETH Zurich as part of the Secure, Reliable, and Intelligent Systems Lab
Publications
2024
Modular Synthesis of Efficient Quantum Uncomputation
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA
2024
2022
Provably Robust Adversarial Examples
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev
ICLR
2022
2021
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Timon Gehr, Pavol Bielik, Martin Vechev
PLDI
2021
2020
Probabilistic Verification of Network Configurations
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev
ACM SIGCOMM
2020
Best Student Paper Award
Best Student Paper Award
λPSI: Exact Inference for Higher-order Probabilistic Programs
Timon Gehr, Samuel Steffen, Martin Vechev
PLDI
2020
Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics
Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev
PLDI
2020
2019
Certifying Geometric Robustness of Neural Networks
Mislav Balunović, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev
NeurIPS
2019
DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
ICML
2019
Boosting Robustness Certification of Neural Networks
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev
ICLR
2019
An Abstract Domain for Certifying Neural Networks
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev
ACM POPL
2019
2018
Fast and Effective Robustness Certification
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev
NIPS
2018
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS
2018
Training Neural Machines with Trace-Based Supervision
Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevich, Timon Gehr, Martin Vechev
ICML
2018
Differentiable Abstract Interpretation for Provably Robust Neural Networks
Matthew Mirman, Timon Gehr, Martin Vechev
ICML
2018
Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
PLDI
2018
Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI
2018
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin Vechev
IEEE S&P
2018
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP
2018
2017
Synthesis of Probabilistic Privacy Enforcement
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin Vechev
ACM CCS
2017
2016
PSI: Exact Symbolic Inference for Probabilistic Programs
Timon Gehr, Sasa Misailovic, Martin Vechev
CAV
2016
2015
Education
- ETH Zurich, November 2015 – February 2022 Ph.D. in Computer Science
- ETH Zurich, September 2013 – March 2015 M.Sc. in Computer Science
- ETH Zurich, September 2010 – August 2013 B.Sc. in Computer Science
Awards
| 2022 | ETH Medal for Outstanding Dissertation | Awarded |
| 2021 | ACM ICPC World Finals 2020 | Honors (Coach) |
| 2020 | ACM ICPC SWERC 2019-2020 | Silver Medal (Coach) |
| 2020 | ACM ICPC SWERC 2019-2020 | Bronze Medal (Coach) |
| 2019 | 2019 IBM PhD Fellowship Award | Awarded |
| 2017 | Helvetic Coding Contest | Bronze Medal (ranked 3rd) |
| 2016 | ACM ICPC World Finals 2016 | Honorable Mention (Coach) |
| 2015 | ACM ICPC SWERC 2015-2016 | Gold Medal (Coach) |
| 2015 | ETH Medal for Outstanding Master Thesis | Awarded |
| 2015 | Helvetic Coding Contest | Silver Medal (ranked 5th) |
| 2013 | Helvetic Coding Contest | Silver Medal (ranked 2nd) |
| 2012 | Helvetic Coding Contest | Bronze Medal (ranked 3rd) |
| 2011 | Helvetic Coding Contest | Bronze Medal (ranked 3rd) |
| 2010 | International Physics Olympiad | Honourable Mention |
| 2010 | Swiss Olympiad in Informatics | Gold Medal (ranked 2nd) |
| 2010 | Swiss Olympiad in Informatics | Qualified for IOI 2010 in Canada |
| 2010 | Swiss Physics Olympiad | Gold Medal (ranked 1st) |
| 2010 | Swiss Physics Olympiad | Qualified for IPhO 2010 in Croatia |
| 2010 | Award for the best Young Physicist | Awarded by Swiss Physical Society |
| 2010 | Swiss Olympiad in Biology | Bronze Medal (ranked 10th) |
| 2010 | Swiss Youth Music Competition | First Prize |
| 2010 | Swiss Youth Music Competition | Two Special Awards |
| 2009 | Swiss Olympiad in Informatics | Silver Medal (ranked 7th) |
| 2009 | Swiss Olympiad in Informatics | Qualified for CEOI 2009 in Romania |
| 2009 | Swiss Physics Olympiad | Silver Medal (ranked 6th) |
| 2009 | Swiss Olympiad in Mathematics | Qualified for Swiss Finals |
| 2009 | Swiss Olympiad in Mathematics | Qualified for MEMO 2009 in Poland |
| 2009 | Swiss Youth in Science | Grade "very good" |
| 2009 | Swiss Youth in Science | Siemens Special Award |