Matteo Sammartino

Matteo Sammartino is a Senior Lecturer in Computer Science at Royal Holloway University of London, affiliated with the Centre for Programming Languages and Systems. He holds an honorary position at University College London, associated with the Programming Principles, Logic and Verification group.

• PhD in Computer Science, University of Pisa (2013)
• Postdoctoral research, Radboud University (2015)

His research focuses on formal methods for real-world systems, particularly concurrent/distributed and infinite-state systems. Recently, he has integrated artificial intelligence into automated verification, aiming to solve complex modeling and verification challenges through AI-driven approaches.

The paper accepted at CONCUR 2025 exemplifies his work on compositional verification techniques using active learning and alphabet refinement, aligning with his broader interests in formal methods and AI applications.