• Quantum computing (quantum verification and quantum programming languages)
• Formal verification for stochastic, biological, and cyber-physical systems by combining numerical, model checking and SMT techniques
  
  PhD candidates: if you are interested in formal verification or quantum computing / programming do get in touch as we have PhD studentships available.

• Papers
• Software
• Google Scholar
• Scopus; ORCID

• Bacheca docente Sapienza

• SPQR: Simpler and Provable Quantum pRogramming

• Jan. 2025 - Postdoc position in quantum computing and optimization, with me at Sapienza. Apply by 29 Jan 2025!
• Jan. 2025 - I will serve on the Program Committee of QEST+FORMATS 2025: your contributions on quantum programming and quantum verification are very welcome!
• Aug. 2024 - My PhD student Marco Lewis has successfully defended his thesis on 'Automated Verification Techniques for Quantum Computers'
• May 2024 - Two papers (this and that) accepted at QSW 2024 (3rd IEEE International Conference on Quantum Software)
• Mar. 2024 - Paper accepted at the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)
• Mar. 2024 - Sapienza is in the top 100 universities of the Times Higher Education World Reputation Rankings 2023
• More news...

• 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).