Royal Holloway University of London
Centre for Programming Languages and Systems
University College London (Honorary)
- Office 2-07, Bedford building, Surrey, TW20 0EX (UK)
- (+44) 01784 443690
- matteo.sammartino [at] rhul.ac.uk
I completed my PhD at the University of Pisa in 2013, under the supervision of Prof. Ugo Montanari. In 2015 I moved to Radboud University for a postdoc, and in 2016 I joined the Programming Principles, Logic and Verification group at University College London. In 2020 I joined Royal Holloway, University of London as Lecturer.
My research focuses on formal methods for various classes of real-world systems, including concurrent/distributed and infinite-state systems. In recent years, I became interested in the use of artificial intelligence in automated verification. My long-term research plan consists in the use of artificial intelligence to solve challenging real-world modelling and verification problems.
|Apr 29, 2019||The Verification of Hardware Concurrency via Model Learning (CLeVer) project has been funded by EPSRC!|
|Feb 4, 2019||I am organising LearnAut ‘19 in Vacouver! Please consider submitting a paper!|