Mirco Giacobbe


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 with me. I have an open call for a PhD position!

Contact

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

Selected Publications

Formal Methods for Safe Artificial Intelligence

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]

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 Gia­cob­be, and Diptarko Roy. CAV, 2021   [paper]

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

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. Com­pu­ting and Soft­ware Sci­ence, 2019.   [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.   [artifact] [paper] [extended paper]