Matteo Sammartino

Matteo Sammartino studied Computer Science at the University of Pisa, where he obtained his PhD in Computer Science in 2013, under the supervision of Ugo Montanari. He subsequently held postdoc positions at the University of Pisa and Radboud University, in Nijmegen. Since January 2016 he has been a Research Associate at University College London. He is a member of the Programming Principles, Logic and Verification group. His main research interests are semantics of programming languages, algebraic and coalgebraic specification, concurrency theory, nominal models and related symbolic techniques, automata learning and model checking. He has participated in several European projects, including SENSORIA (Software Engineering for Service-Oriented Overlay Computers), ASCENS (Autonomic Service-Component Ensembles), the Dutch NWO project Practical Coinduction, and Italian projects CINA and IPODS.