Matteo Sammartino
Associate Professor
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMatteo Sammartino is an Associate Professor in England with a decade of experience at the intersection of formal methods, concurrency theory, and automated verification. His research journey spans from coalgebraic and categorical models of nominal calculi to practical advances in model learning and infinite-state systems. Recently he has focused on integrating artificial intelligence into verification workflows to tackle real-world modelling challenges. Matteo has progressed through academic roles at Royal Holloway, UCL, Radboud University and the University of Pisa, bringing both deep theoretical foundations and hands-on teaching and research leadership. He combines pi-calculus–based operational semantics expertise with coinductive proof principles, a blend that informs novel approaches to verifying concurrent and distributed systems. Colleagues appreciate that he pairs rigorous mathematical methods with a persistent drive to apply AI where it can unlock tractable solutions to otherwise intractable verification problems.
10 years of coding experience
1 year of employment as a software developer
Computer Science, Computer Science, Computer Science, Computer Science at Università di Pisa
Italian, English
Github Skills (2)
automata10
dfa10
Programming languages (1)
Github contributions (5)
matteo-sammartino/matteo-sammartino.github.io
Jan 2019 - Nov 2020
A beautiful Jekyll theme for academics
Contributions:87 pushes, 1 branch in 1 year 9 months
academicsbeautiful-jekylljekylljekyll-themebeautiful-jekyll-theme
project-clever/rowhammer-tester-learning
Jun 2023 - Oct 2023
Contributions:34 pushes, 4 branches in 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.