Dominic Mulligan
Stats
837
reputation
0
reached
0
answers
0
questions
Loading…
About

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