Scholar
Matteo Sammartino
Google Scholar ID: l7FRC2UAAAAJ
Royal Holloway University of London, University College London
Citations & Impact
Citations
254
H-index
8
i10-index
7
Publications
20
Co-authors
6
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Paper 'Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement' with Leo Henry, Thomas Neele, and Mohammad Reza Mousavi accepted at CONCUR 2025.
Research Experience
- Postdoc at Radboud University from 2015 to 2016; joined the Programming Principles, Logic and Verification group at University College London in 2016; became a Lecturer at Royal Holloway, University of London in 2020.
Education
- Completed PhD at the University of Pisa in 2013, under the supervision of Prof. Ugo Montanari.
Background
- Research interests: formal methods for various classes of real-world systems, including concurrent/distributed and infinite-state systems; recently interested in the use of artificial intelligence in automated verification. Long-term research plan is to use AI to solve challenging real-world modeling and verification problems.
