I am an Associate Professor of Computer Science at the University of Birmingham. My research interests lie between formal methods 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
Formal Methods and Machine Learning for Safe Control Systems
Stochastic Omega-regular Verification and Control with Supermartingales. Alessandro Abate, Mirco Giacobbe, and Diptarko Roy. CAV, 2024 [paper]
Quantitative Verification with Neural Networks. Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy . CONCUR, 2023. [paper] Neural Abstractions. Alessandro Abate, Alec Edwards, and Mirco Giacobbe. NeurIPS, 2022. [paper]Verifying Reinforcement Learning up to Infinity. Edoardo Bacci, Mirco Giacobbe, 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 Safe Software Systems
Neural Model Checking. Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig. NeurIPS, 2024. [paper] Bisimulation Learning. Alessandro Abate, Mirco Giacobbe, and Yannik Schnitzer. CAV, 2024. [paper]Neural Termination Analysis. Mirco Giacobbe, Daniel Kroening, and Julian Parsert. ESEC/FSE, 2022 [paper]
Learning Probabilistic Termination Proofs. Alessandro Abate, Mirco Giacobbe, and Diptarko Roy. CAV, 2021 [paper]
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger, and Mathias Lechner. TACAS, 2020. [paper]
Formal Methods for Systems Biology
Model checking Gene Regulatory Networks (best paper award). Mirco Giacobbe, Ashutosh Gupta, Calin Č. Guet, Thomas A. Henzinger, Tiago Paixão, and Tatjana Petrov. TACAS, 2015. [paper] [extended paper]