Marino Miculan

Office L2-17-BC
DMIF - Università di Udine
Via delle Scienze 206
I-33100, Udine, Italy
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.
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)
Feb 9, 2023 | Participation to EconoMY FVG on Telefriuli |
---|---|
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 |
selected publications (more)
-
- Composable partial multiparty session types for open systemsSoftware and Systems Modeling 2022
-
- A new criterion for M,N-adhesivity, with an application to hierarchical graphsIn Proc. FoSSaCS 2022