Skip to main content
Theoretical Computer Science
Dominic Mulligan's user avatar
Dominic Mulligan's user avatar
Dominic Mulligan's user avatar
Dominic Mulligan
  • Member for 14 years, 4 months
  • Last seen more than 4 years ago
Profile Activity
Stats
837
reputation
161k
reached
20
answers
0
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
15
bronze badges
Top tags
View all tags
38
Score
6
Posts
30
Posts %
34
Score
5
Posts
25
Posts %
25
Score
3
Posts
15
Posts %
24
Score
5
Posts
25
Posts %
15
Score
3
Posts
15
Posts %
13
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
answer
26
Major unsolved problems in theoretical computer science?
Aug 24, 2010
answer
15
How do 'tactics' work in proof assistants?
Oct 7, 2011
answer
14
Are there any counterintuitive results in theoretical computer science?
Nov 25, 2010
answer
13
Powerful Algorithms too complex to implement
Jan 24, 2011
answer
12
Small steps for better TCS conferences?
May 17, 2011
answer
12
Where and how did computers help prove a theorem?
Aug 23, 2010
answer
8
What are possible implementations of Haskell's type classes and what are their (dis)advantages?
Nov 26, 2012
answer
7
Examples of "Unrelated" Mathematics Playing a Fundamental Role in TCS?
Oct 30, 2010
answer
7
Using lambda calculus to derive time complexity?
Aug 23, 2010
answer
7
Does the order of declarations in an inductive type matter?
Oct 5, 2011