I am a research scientist in the Software Verification and Validation Laboratory (SVV), led by prof. Lionel Briand, at the Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) of the University of Luxembourg (UL).
I did my PhD under the supervision of Carlo
Ghezzi at the Faculty of
Informatics, Università della
Svizzera Italiana (USI); my PhD dissertation was
titled: “Open-world software: Specification,
Verification, and Beyond”.
I hold a BSc in Computer Engineering and a MSc in Computing
Systems Engineering, both
from Politecnico di Milano
(Italy), School of
Engineering (Information Technology Engineering).
From April 2009 to March 2010 I was
an intern at Mission Critical
Technologies, Inc., as visiting researcher on site
Ames Research Center, in
the Robust Software
You can find my complete CV here.
My research area is software engineering, with particular emphasis on the specification, verification and validation of software systems.
Scientific events I am currently involved in
SnT Centre - Université du Luxembourg
4 rue Alphonse Weicker
phone: +352 46 66 44 5328