Mirco Giacobbe
Birmingham, United Kingdom
Bio
Updated 05/18/26Associate 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.
Community Signal
Updated 05/18/260Upvotes
0Downvotes
0Endorsements
No endorsements yet.
Links
Updated 05/18/26- Personal Website
- https://mircogiacobbe.github.io/
- -
- Twitter / X
- -
- LessWrong
- -
- EA Forum
- -
Grants
Updated 05/18/26No grants recorded.