About Me

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.

Ideal Abstractions for Well-Structured Transition Systems with Thomas Wies and Thomas A. Henzinger
To appear in Proceedings of VMCAI, 2012. [pdf]
Scheduling Large Jobs by Abstraction Refinement with Thomas A. Henzinger, Vasu Singh, and Damien Zufferey
In Proceedings of EuroSys, 2011. [pdf]
Model Checking of Linearizability of Concurrent List Implementations with Pavol Cerny, Arjun Radhakrishna, Swarat Chaudhuri, and Rajeev Alur
In Proceedings CAV, 2010. [pdf]
A Marketplace for Cloud Resources with Thomas A. Henzinger, Vasu Singh, Anmol Tomar, and Damien Zufferey
In Proceedings of EMSOFT, 2010. [pdf]
Forward Analysis of Depth-Bounded Processes with Thomas Wies and Thomas A. Henzinger
In Proceedings FoSSaCS, 2010. [pdf] [some slides]
Shape Refinement through Explicit Heap Analysis with Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz
In Proceedings FASE, 2010. [pdf]
CSIsat: interpolation for LA + EUF with Dirk Beyer and Rupak Majumdar
In Proceedings CAV, 2008. [pdf] [some slides]

Picasso: a PI-CAlculuS-based SOftware analyzer.
Automata Tutor: a website for teaching automata theory to undergraduate students.
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.

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