DMIF - Università di Udine
Via delle Scienze 206
I-33100, Udine, Italy
This webpage collects some information about my research, including my publications, the projects I am involved in, and my teaching and professional activities.
I lead the Models and Applications of Distributed Systems laboratory, and the Udine node of the CINI National CyberSecurity laboratory. I have the fortune to work with great people.
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.
Currently, I am mostly interested in security aspects of distributed, component-based and smart systems, for which I use and develop semantic models, formal methods and domain specific languages.
If these are your interests too, drop me a note.
Experience without theory is blind, but theory without experience is mere intellectual play. (I. Kant)
latest news (more)
|Jan 16, 2023||I am honored to serve on the Program Committee of GCM 2023.|
|Jan 13, 2023||Research fellowship available - deadline Jan 26, 2023|
|Jan 1, 2023||The PNRR "SERICS" starts|
selected publications (more)
- Automated Verification of Telegram’s MTProto 2.0 in the Symbolic ModelComputers & Security 2023
- The AbU Language: IoT Distributed Programming Made EasyIEEE Access 2022
- Composable partial multiparty session types for open systemsSoftware and Systems Modeling 2022
- Computing (optimal) embeddings of directed bigraphsSci. Comput. Program. 2022
- A new criterion for M,N-adhesivity, with an application to hierarchical graphsIn Proc. FoSSaCS 2022