Mirco Giacobbe

I am an Associate Professor at the University of Birmingham and the head of Zeroth Research. My research interests lie between formal me­thods and artificial intelligence. I develop automatic techniques to certify that algorithmic systems are safe and secure 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 an intersection of formal methods, artificial intelligence, control theory and cybersecurity 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

Formal Methods and Machine Learning for Cyber-physical Systems

Neural Continuous-time Supermartingale Certificates. Grigory Neustroev, Mirco Gia­cob­be, and Anna Lukina. AAAI, 2025   [paper]

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]

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

Formal Methods and Machine Learning for Software and Hardware Systems

Let a Neural Network be Your Invariant. Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig. NeurIPS, 2025.   [paper]

Neural Model Checking. Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig. NeurIPS, 2024.   [paper]

Neural Termination Analysis. Mirco Gia­cob­be, Daniel Kroening and Julian Parsert. ESEC/FSE, 2022   [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]

Formal Methods for 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]