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)
Mar 23, 2023 | Participation to "La Universitât dal Friûl tal teritori" on Radio Onde Furlane |
---|---|
Mar 21, 2023 | Our paper AbU: A Calculus for Distributed Event-driven Programming with Attribute-based Interaction has been accepted for publication in Theoretical Computer Science. |
Feb 9, 2023 | Participation to EconoMY FVG on Telefriuli |
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