Associate Professor of Computer Science and Deputy Head at Department of Mathematics, Computer Science and Physics of the University of Udine. (Qualified to Full Professor since March 2018.)
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.)
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.
I founded and currently 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)
|Sep 21, 2023||Joint Meeting of CINI, in Naples|
|Sep 13, 2023||Attending ICTCS 2023 in Palermo|
|Aug 11, 2023||I am honored to serve as President of the Selection Committee for the Scientific Class of Scuola Superiore, the excellence school of the University of Udine.|
|Aug 4, 2023||Two 3-years positions at University of Venice, funded by PNRR "SERICS" (deadline: Aug 24, 2023)|
|Jul 21, 2023||I am honored to serve from today as Deputy Head of the Department of Mathematics, Computer Science and Physics.|
selected publications (more)
- Automated Verification of Telegram’s MTProto 2.0 in the Symbolic ModelComputers & Security 2023
- 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