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