Dominic Mulligan
837
reputation
9
15
Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.