Mirco Giacobbe

@mircogiacobbe.bsky.social

9 Followers · 30 Following

Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty

Nothing here yet.