Theoretical Computer Science
Dominic Mulligan
Profile Activity
Stats
837
reputation
0
reached
0
answers
0
questions
About

Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.

Communities (7)

Top network posts

This user doesn’t have any gold badges yet.
4
silver badges
3
bronze badges
View all badges

Keeping a low profile.

This user hasn't posted yet.

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.