I am an Assistant Professor of Computer Science at the University of Birmingham. My research interests lie between formal me­thods and artificial intelligence. I develop automatic techniques to guarantee that algorithmic systems are safe and trustworthy by combining ideas from machine learning and automated reasoning. Here's my CV and here's a picture of me.

Students interested in pursuing a PhD at the University of Birmingham in formal methods and artificial intelligence are invited to get in touch.

Contact

School of Computer Science, University of Birmingham
Edgbaston, Birmingham, B15 2TT, UK
m.giacobbe@bham.ac.uk

Selected Publications

Machine Learning for Formal Verification

Learning Probabilistic Termination Proofs. Alessandro Abate, Mirco Gia­cob­be, and Diptarko Roy. CAV, 2021   [paper]

Neural Termination Analysis. Mirco Giacobbe, Daniel Kroening, and Julian Parsert. ESEC/FSE, 2022   [paper]

Formal Synthesis of Lyapunov Neural Networks. Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo. IEEE L-CSS, 2021.   [paper]

Formal Methods for Safe Artificial Intelligence

Stochastic Omega-regular Verification and Control with Supermartingales. Alessandro Abate, Mirco Gia­cob­be, and Diptarko Roy. CAV, 2024   [paper]

Verifying Reinforcement Learning up to Infinity. Edoardo Bacci, Mirco Gia­cob­be, David Parker. IJCAI, 2021. [paper]

How Many Bits Does it Take to Quantize Your Neural Network? Mirco Gia­cob­be, Thomas A. Henzinger, and Mathias Lechner. TACAS, 2020.   [paper]

Counterexample-guided Refinement of Template Polyhedra. Sergiy Bo­go­mo­lov, Goran Frehse, Mirco Giacobbe, and Thomas A. Henzinger. TACAS, 2017.   [paper] [tech. details]

Systems Biology

Model checking Gene Regulatory Networks (best paper award). Mirco Gia­cob­be, Ashutosh Gupta, Calin Č. Guet, Thomas A. Henzinger, Tiago Paixão, and Tatjana Petrov. TACAS, 2015.   [paper] [extended paper]