News:

• The journal paper about Checkmate has been accepted by Software: Practice and Experience

• The slides of my talk at Universita' Ca' Foscari in Venice are now online

• The slides of my talk at Microsoft Research in Redmond are now online

• The slides of my talk at the IBM Watson research center are now online

• The slides of my talk at VMCAI 2012 are now online

• I am in the program committee of SAS 2012

• I am in the program committee of CISIM 2012

I am currently a lecturer at ETH of Zurich in the Programming methodology group under the supervision of Peter Mueller.
Previously, I have been a PhD student in Computer Science at the Ecole Polytechnique of Paris and at the Università Ca' Foscari of Venice from October 2005 to May 2009. My PhD thesis directors were Radhia Cousot and Agostino Cortesi. I defended my PhD thesis on May 22nd, 2009 at the Ecole Normale Superiore.

My main research interests are:

• Static analysis via Abstract interpretation

• Multithreaded programs

• The Scala programming language

• Java bytecode and CIL/MSIL

• Unsafe code

I have been an intern at Microsoft Research in Redmond in the PLA group from August 20th 2007 to November 9th 2007.