Nov 032008
Since Nov 3, 2008 I am a researcher at the Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari.
I moved from the University of Pisa, where I got my PhD in 2005 at the Computer Science Department, with a thesis on static analysis for language-based security. From 2005 to 2008, I had two postdocs on programming languages security. Here you can find a full list of my publications, sorted by category.