Cambridge, United Kingdom
http://dominic-mulligan.co.uk
Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.