Damien Zufferey

I am a research group leader at MPI-SWS (Kaiserslautern) since Fall 2016.

My research interests lie in program analysis and verification, programming languages, distributed systems and automated reasoning.

Until September 2016, I was a Postdoctoral Associate at MIT CSAIL in Martin Rinard's group. I received my PhD in 2013, working under supervision of Thomas A. Henzinger at the Institute of Science and Technology Austria (IST Austria). Prior to that I received a Master in computer science from EPFL in 2009.

For more information, see my complete CV.

Max Planck Institute for Software Systems
Paul-Ehrlich-Str. 26
67663 Kaiserslautern


315 (3rd floor)
Paul-Ehrlich-Str. 26 (MPI-SWS building)

Loading recent publications ...
Loading all publications ...

Google Scholar has citation metrics for my publications.


  • PSync: DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds.
  • GRASShopper: a verification tool that checks separation logic specifications of heap manipulating programs.
  • Picasso: a PI-CAlculuS-based SOftware analyzer.
  • Automata Tutor: a website for teaching automata theory to undergraduate students. Later the project was taken over by groups at UPenn and UIUC and became http://www.automatatutor.com/
  • CoLT: Concurrency using Lockstep Tool, a tool for model checking of linearizability of concurrent data structure implementations.
  • CSIsat: Constraint Solving for Interpolation, a tool to compute Craig interpolant in QF LA+EUF.
  • Blast: Berkeley Lazy Abstraction Software Verification Tool.

PC co-chair

  • NSV 19, 12th International Workshop on Numerical Software Verification.
  • VMW 2017, Verification Mentoring Workshop 2017.

PC member

  • APLAS 2019, 17th Asian Symposium on Programming Languages and Systems.
  • VMCAI 2019, 20th International Conference on Verification, Model Checking, and Abstract Interpretation.
  • Scala 2018, 9th ACM SIGPLAN Symposium on Scala.
  • SAS 2018, 25th Static Analysis Symposium.
  • CAV 2018, 30th International Conference on Computer-Aided Verification.
  • VSTTE 2018, 10th Working Conference on Verified Software: Theories, Tools, and Experiments.
  • PLDI SRC 2018, Student Research Competition at PLDI 2018.
  • TACAS 2018, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
  • CAV 2017, 29th International Conference on Computer-Aided Verification.
  • TAPAS 2017, 8th Workshop on Tools for Automatic Program Analysis.
  • MEMOCODE 2017, 15th International Conference on Formal Methods and Models for System Design.
  • SYNT 2017, 6th Workshop on Synthesis.
  • SMT 2016, 14th International Workshop on Satisfiability Modulo Theories.
  • GANDALF 2016, 7th International Symposium on Games, Automata, Logics and Formal Verification.
  • SYNT 2016, 5th Workshop on Synthesis.
  • AGERE 2015, ACM SIGPLAN Workshop on Programming based on Actors, Agents, and Decentralized Control 2015.
  • Scala 2015, Scala Symposium 2015.
  • Scala 2014, annual Scala Workshop.