About me

I am a PhD student at the Department of Computer Science at ETH Zurich as part of the Secure, Reliable, and Intelligent Systems Lab since November 2015.

Publications

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
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

Learning Commutativity Specifications
Timon Gehr, Dimitar Dimitrov, Martin Vechev
CAV 2015

Education

  • ETH Zurich, September 2013 – March 2015
    M.Sc. in Computer Science
  • ETH Zurich, September 2010 – August 2013
    B.Sc. in Computer Science

Awards

2017 Helvetic Coding Contest Bronze Medal (ranked 3rd)
2016 ACM ICPC World Finals Honorable Mention (Coach)
2015 ETH Medal for best 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