Dominic Mulligan
Senior Formal Verification Reasearcher at Arm Research, Cambridge. Previously a postdoc at the University of Cambridge and the University of Bologna.
-
Cambridge, United Kingdom
-
Member for 10 years, 7 months
-
167 profile views
-
Last seen Sep 24 '20 at 16:42
Communities (7)
Top network posts
We respect a laser-like focus on one topic.
Badges (24)
Gold
Silver
Rarest
-
Jan 7 '17
Bronze
Rarest
-
Dec 9 '10
-
Nov 27 '12
-
Oct 3 '17