Adrian Francalanza

Adrian Francalanza is a Professor in the Department of Computer Science at the Faculty of Information and Communication Technology, University of Malta. His research is centered on formal methods, runtime verification, and concurrency, with a focus on monitorability and distributed systems.

His research interests include:

• Runtime Verification and Monitor Synthesis
• Session Types and Protocol Safety
• Concurrency and Actor-Based Systems
• Branching and Linear-Time Temporal Logics
• Probabilistic and Decentralized Monitoring
• Formal Tools for Cyber-Physical and Distributed Systems

The recent publications highlight a strong trend in theoretical and practical advances in monitorability, especially for branching-time and probabilistic systems. His work bridges theory with implementation, often resulting in tools like STMonitor and DetectEr. There is a clear emphasis on session types, runtime enforcement, and the verification of communication protocols in real-world systems such as REST APIs and SMTP.

Scientific awards include:

• Distinguished Paper Award at ECOOP 2025
• Best Paper Award at DisCoTec 2022

He has been actively involved in advising and organizing major academic events. He served as Program Chair for GandALF 2024 and 2025, FORTE 2024, and VORTEX workshops. He led a three-year project funded by Rannis on Theoretical Foundations for Monitorability in collaboration with Reykjavik University. He has received grants and recognition for developing practical tools such as DetectEr and STMonitor, which support runtime monitoring of Erlang and session-typed systems.

He is associated with several research teams and labs, including:

• Runtime Verification and Monitorability Research Group at University of Malta
• Collaborators on the DetectEr project
• Developers of STMonitor and polyLarva tools
• International collaborators at Reykjavik University and beyond