I am a post-doctoral research fellow at the Software Engineering Group of the department of Information Engineering and Computer Science (DISI) of University of Trento, Italy. I received my Ph.D. at University of Trento in 2016. From the same university I also received my bachelor’s degree in computer science in 2009 and the master’s degree in computer science in 2011.
My main research interest is the design of secure socio-technical systems. I have investigated different aspects of this field, such as security requirements elicitation and definition, security requirements enforcement, secure business process definition, verification of procedural constraints and generation of secure code.
Currently, I coordinate the effort of my research group for VisiOn, a European project for the creation of a platform for visualization and enforcement of privacy requirements, and in PACAS, another European project for participatory architectural change management in ATM systems. I was involved in Aniketos, another European project about the security of service compositions at design time and runtime, and in ERC-Lucretius, a project focused in designing software systems that evolve in response to changes in their requirements.