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.
My early research was devoted to studying 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! I and Alexandra Silva will be advertising a PhD and a postdoc position soon!|
|Feb 4, 2019||I am organising LearnAut ‘19 in Vacouver! Please consider submitting a paper!|