I am an Assistant Professor of Computer Science at the University of Birmingham. My research interests lay between formal methods and artificial intelligence. I develop automatic techniques to guarantee that algorithmic systems are safe, trustworthy and ethical, 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 with me. I have an open call for a PhD position!
School of Computer Science, University of Birmingham
Edgbaston, Birmingham, B15 2TT, UK
Formal Methods for Safe Artificial Intelligence
Verifying Reinforcement Learning up to Infinity. Edoardo Bacci, Mirco Giacobbe, David Parker. IJCAI, 2021. [paper]
Shielding Atari Games with Bounded Prescience. Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk. AAMAS, 2021. [paper]
How Many Bits Does it Take to Quantize Your Neural Network? Mirco Giacobbe, Thomas A. Henzinger, and Mathias Lechner. TACAS, 2020. [paper]
Neuro-symbolic Methods for Formal Verification
Formal Synthesis of Lyapunov Neural Networks. Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo. IEEE L-CSS, 2021. [paper]
Learning Probabilistic Termination Proofs. Alessandro Abate, Mirco Giacobbe, and Diptarko Roy. CAV, 2021 [paper]
Neural Termination Analysis. Mirco Giacobbe, Daniel Kroening, and Julian Parsert. ESEC/FSE, 2022 [preprint]
Formal Verification of Cyber-physical Systems
Continuous-Time Models for System Design and Analysis. Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis. Computing and Software Science, 2019. [paper]
Space-time Interpolants. Goran Frehse, Mirco Giacobbe, and Thomas A. Henzinger. CAV, 2018. [paper]
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. [artifact] [paper] [extended paper]