I am a Chief Scientist II/Associate Professor at the Software Verification and Validation Lab, led by prof. Lionel Briand; previously I held research scientist and research associate positions in the same lab.
I did my PhD at the Faculty of Informatics of the University of Lugano, Switzerland, under the supervision of prof. Carlo Ghezzi; my PhD dissertation was titled: “Open-world software: Specification, Verification, and Beyond”.
My research area is software engineering, with particular emphasis on the specification, verification and validation of software systems.
More details are available on my personal web page.
