Damien Zufferey

Quick Links

Curriculum vitae

Coordinates

Address
MIT CSAIL, 32-G736
32 Vassar St
Cambridge, 02139 MA
USA

E-Mail
lastname@csail.mit.edu


About Me

I graduated in September 2013 and started as postdoc at MIT CSAIL in Martin Rinard's group. You will be redirected to my new homepage in a few seconds.

I did my PhD in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria).

I received my Master in computer science from EPFL in 2009. See also my complete CV.

Research

My research interests lies in program analysis and verification, automated reasoning, theorem proving, and programming languages.

Publications

Complete list of publications

Tools

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

Professional Activities

Program committee member:

Awards

  • Graduated best from my Bachelor.
  • Excellency Scholarships at the Master level from EPFL.
  • Silver Medal of the Association for Computing Machinery - International Collegiate Programming Contest (Regionals, South-Western Europe) in 2007 with EPFL (6th place, Swiss champions, team with Frédéric Dubut and Christian Kauth).
  • Bronze Medal of the Association for Computing Machinery - International Collegiate Programming Contest (Regionals, South-Western Europe) in 2006 with EPFL (9th place, Swiss champions, team with Frédéric Dubut and Abhishek Garg).

Other