Mirco Giacobbe
Birmingham, United Kingdom
Bio
Updated 06/26/26 · By grantmaking.aiAssociate 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.
Links
Updated 06/26/26 · By grantmaking.ai- Personal Website
- https://mircogiacobbe.github.io/
- -
- Twitter / X
- -
- LessWrong
- -
- EA Forum
- -
Organizations
Zeroth Research
Head of Zeroth Research & Director
Projects
Privacy-Preserving AI Safety Verification
Co-Investigator
Grants
Updated 06/26/26 · By grantmaking.aiNo grants recorded.