Marino Miculan

Marino Miculan is a Professor of Computer Science at the University of Udine, leading the MADS Lab and Cybersecurity Lab. His research focuses on formal methods, cybersecurity, and distributed systems, with an emphasis on verifying security in concurrent systems. He has authored over 100 publications and contributed to 16 research projects.

His research interests include formal verification of security protocols, distributed computing architectures, and the application of category theory to system modeling. He has developed frameworks like Netstaldi for network discovery and tools such as DBCChecker for analyzing container compositions.

Miculan’s work bridges theoretical foundations (e.g., adhesive categories, behavioral equivalences) with practical applications in IoT security, multi-factor authentication, and cloud containerization. His labs explore cutting-edge topics like continuous learning for anomaly detection and stateful access control mechanisms.