News:

• I am in the program committee of SAS 2012!

• I am in the program committee of CISIM 2012!

I am currently a postdoc researcher at the 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.