CV

Education

• Ph.D in Computer Science and Artificial Intelligence, University of Udine, November 2025 –
  • Thesis: Coordinating Smart Devices with Attribute-Based Choreographies
  • Supervisor: Prof. Marino Miculan
• M.S. in Computer Science, University of Udine, 2024
  • Thesis: A General Purpose Runtime System for Choreographic Programming Languages for Robot Management
  • Supervisors: Prof. Marco Comini and Prof. Marino Miculan
• B.S. in in Computer Science, University of Udine, 2021

Work experience

• February 2025 – November 2025 : Research Fellow under the Interreg IT-HR project “Brigantine”
  • University of Udine, UNIUD Sailing Lab
  • Duties includes: Development of the data gathering and autonomous sailing layer of the catamaran and various engineering aspects.
  • Supervisor: Dr. Ivan Scagnetto
• March – April 2024: Intern
  • Bruno Kessler Foundation, Formal Methods Unit
  • Developed a wrapper for NuRV, a tool for assumption-based Runtime Verification. The wrapper enabled the tool to support certain infinite-precision variables by booleanizing them.
  • Supervisor: Dr. Stefano Tonetta

Publications

Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems

Comini, M., Gemolotto, L., Miculan, M. (2025). Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. In: Ferreira, C., Mezzina, C.A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2025. Lecture Notes in Computer Science, vol 15732. Springer, Cham. https://doi.org/10.1007/978-3-031-95497-9_6

Talks

Workshop proceedings on the Brigantine Project

June 04, 2025

Conference proceedings talk at EMRA 2025, Rockheim, Trondheim, Norway