About me

I am Benjamin Bichsel, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, since September 2017.


ETH Zurich, September 2012 – September 2017: B.Sc. and M.Sc. in Computer Science


  • Willi Studer Prize 2018: best Master’s degree in computer science
  • Award from Schweizer Jugend forscht for the work "In dubio pro Google – Onlineübersetzung von einfachen lateinischen Sätzen mit Hilfe des Internets", label "very good" (www.sjf.ch)



DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS 2018
Incremental Inference for Probabilistic Programs
Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, Vikash K. Mansinghka
PLDI 2018
Fine-grained Semantics for Probabilistic Programs
Benjamin Bichsel, Timon Gehr, Martin Vechev
ESOP 2018


Statistical Deobfuscation of Android Applications
Benjamin Bichsel, Veselin Raychev, Peter Tsankov, Martin Vechev
ACM CCS 2016