Mirco Giacobbe

Associate Professor in Computer Science at the University of Birmingham, where he leads the AI Verification Group, and head of Zeroth Research; his work bridges formal methods and AI to develop verification techniques for the safety assurance of software, cyber-physical, and deep learning systems.

No endorsements yet.

Personal Website

https://mircogiacobbe.github.io/

LinkedIn

-

Twitter / X

-

LessWrong

-

EA Forum

-

No grants recorded.