Chief scientist 2 in Software Engineering
I am a Chief Scientist II/Associate Professor at the , led by prof. ; previously I held research scientist and research associate positions in the same lab. Software Verification and Validation Lab Lionel Briand
I did my PhD at the of the , Switzerland, under the supervision of prof. ; my PhD dissertation was titled: “Open-world software: Specification, Verification, and Beyond”. Faculty of Informatics University of Lugano Carlo Ghezzi
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