Stack Overflow
Stack Overflow

Dominic Mulligan
456
reputation
2
10
  • Cambridge, United Kingdom
  • Member since November 05 2010
  • 64 profile views
  • Last seen Sep 20 '20 at 15:15

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