I am a research scientist at the Software Verification and Validation Lab, led by prof. Lionel Briand, at the Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) of the University of Luxembourg.

I did my PhD at the Faculty of Informatics of the University of Lugano, Switzerland, under the supervision of prof. Carlo Ghezzi.

My research area is software engineering, with particular emphasis on the specification, verification and validation of software services. In the past I worked also on reputation mechanisms for enabling self-tuning in the execution of composite Web services, automated performance assessment of service-oriented middleware, and model checking of temporal metric specifications.

I also collaborate with the Dependable Evolvable Pervasive Software Engineering research group at Politecnico di Milano, Italy.