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, 6 months
-
5 profile views
-
Last seen Jul 31 '18 at 8:09
Communities (7)
Top network posts
- 26 Major unsolved problems in theoretical computer science?
- 14 How do 'tactics' work in proof assistants?
- 13 Powerful Algorithms too complex to implement
- 13 Are there any counterintuitive results in theoretical computer science?
- 12 Small steps for better TCS conferences?
- 12 Where and how did computers help prove a theorem?
- 8 What are possible implementations of Haskell's type classes and what are their (dis)advantages?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (7)
Gold
—
Silver
4
Rarest
Bronze
3
Rarest
-
Oct 11 '11
-
Nov 2 '10
-
Sep 24 '14