I am a research associate 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
ICSE 2017, 39th
International Conference on Software Engineering, May 2017, Buenos
ICWE 2016, 16h International Conference on Web Engineering, June 2016, Lugano, Switzerland.
SANER 2016, 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, March 2016, Osaka, Japan.
SCORE 2016, Student Contest on Software Engineering at ICSE 2016.
WICSA and CompArch 2016, April 2016, Venice, Italy.
SnT Centre - Université du Luxembourg
4 rue Alphonse Weicker
phone: +352 46 66 44 5328