I am a post-doctoral research fellow at the Department of Electronic, Computer Science and Biotechnology (DEIB) of Polytechnic University of Milan, Italy, and a Visiting researcher at the Engineering and Social Informatics Research Group (ESOTICS) of University of Bournemouth. I was a post-doctoral research fellow (2016-2017) at University of Trento, Italy, at the the department of Information Engineering and Computer Science (DISI), where I also I received my Ph.D. in 2016.
My main research interest is the design of secure socio-technical systems. I have investigated different aspects of this research field, such as security requirements elicitation and definition, security requirements enforcement, secure business process definition, verification of procedural constraints and generation of secure code.
I was involved, in Politecnico di Milano, in DITAS, an European project for data and computation movement in fog computing. I coordinated the effort of my research group in Trento 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 also involved in Aniketos, another European project about the security of service compositions at design time and runtime, and in ERC-Lucretius, an ERC project focused in designing software systems that evolve in response to changes in their requirements.