Associate Professor of Computer Science at DMIF, University of Udine. (Qualified as full professor since March 2018)
This webpage collects some information about my research, including my publications, the projects I am involved in, and my teaching and professional activities.
Currently, I am mostly interested in security issues of distributed, component-based and smart systems, whose overall behavior is determined by the interaction of many heterogeneous entities. To this end, I am applying formal methods (possibly with a pinch of Machine Learning) to define new models, languages, methodologies and techniques for the formalisation, verification and certification of security properties of these systems.
If this sounds interesting to you too, drop me a note.
Besides, I know one or two things about process calculi, distributed ledgers, session types, category theory and logic, bigraphs, coalgebras, structured operational semantics, nominal sets, systems biology, type theory, logical frameworks, proof assistants. (In a sense, I am a horizontal researcher.)
I founded and lead the Models and Applications of Distributed Systems laboratory, the Udine node of the CINI National CyberSecurity laboratory, and the MadrHacks, the ethical hacking team of the University of Udine.
I have the fortune to work with great people.
latest news (more)
|Jun 4, 2023||MadrHacks have maxed the DanteCTF 🐍|
|May 24, 2023||Talk about "Behavioral Equivalences for AbU: Verifying Security and Safety in Distributed IoT Systems" at IMT, Lucca|
|May 23, 2023||Talk about "Bigraphical models for Container-based Systems" at DI, UniPI|
|May 5, 2023||I am honored to serve on the Program Committee of IEEE SBAC-PAD 2023.|
|May 3, 2023||I am chairing the Encryption and Formal Methods session of the Scientific Track at ITASEC 2023.|
selected publications (more)
- Composable partial multiparty session types for open systemsSoftware and Systems Modeling 2023
- The AbU Language: IoT Distributed Programming Made EasyIEEE Access 2022
- Computing (optimal) embeddings of directed bigraphsSci. Comput. Program. 2022