Software Engineering Stack Exchange
Software Engineering Stack Exchange

Dominic Mulligan
101
reputation
3
  • Cambridge, United Kingdom
  • Member since January 08 2011
  • 1 profile views
  • Last seen Jul 07 '19 at 19:45

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