• Quantum computing (quantum verification and quantum programming languages)
• Formal verificationi and computational modeling for stochastic, biological, and cyber-physical systems by combining numerical, model checking and SMT techniques
  

• Papers
• Software
• Google Scholar
• Scopus; ORCID

• Sep. 2026 - Paper accepted in Frontiers in High Performance Computing
• Sep. 2026 - I have joined the Editorial Board of PLOS Computational Biology
• Aug. 2026 - Paper accepted at VSTTE 2026
• May 2026 - Paper accepted at the 5th QuantOpt workshop at GECCO 2026
• Feb. 2026 - Paper accepted in Nature Communications Medicine
• More news...

• Bacheca docente Sapienza

• SPQR: Simpler and Provable Quantum pRogramming

• Current projects
• Completed projects

• Before coming to Rome, I spent 10.5 years at the School of Computing, Newcastle University (UK)
• Before coming to Newcastle, I worked for four years with Edmund M. Clarke at Carnegie Mellon University (USA) on model checking
• DPhil, Computer Science, University of Oxford (UK)
• Laurea, Computer Science, Università degli Studi di Milano (Italy)

“Ma quanto più m’interno in considerar la vanità de i discorsi popolari, tanto più gli trovo leggieri e stolti.” Galileo Galilei (Dialogo dei Massimi Sistemi, 1632).