Theoretical Computer Science
Dominic Mulligan
Profile Activity
Stats
837
reputation
147k
reached
20
answers
0
questions
About

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

Communities (7)

Top network posts

We respect a laser-like focus on one topic.

This user doesn’t have any gold badges yet.
9
silver badges
15
bronze badges
View all badges

Top tags (36)

Score 38
Posts 6
Posts % 30
Score 33
Posts 5
Score 25
Posts 3
Score 24
Posts 5
Score 16
Posts 3
Score 12
Posts 2
View all tags →

Top posts (20)

All Questions Answers
Votes Newest
26 Major unsolved problems in theoretical computer science? Aug 24 '10
15 How do 'tactics' work in proof assistants? Oct 7 '11
13 Are there any counterintuitive results in theoretical computer science? Nov 25 '10
13 Powerful Algorithms too complex to implement Jan 24 '11
12 Small steps for better TCS conferences? May 17 '11
12 Where and how did computers help prove a theorem? Aug 23 '10
8 What are possible implementations of Haskell's type classes and what are their (dis)advantages? Nov 26 '12
7 Using lambda calculus to derive time complexity? Aug 23 '10
6 Does the order of declarations in an inductive type matter? Oct 5 '11
6 How would I go about learning the underlying theory of the Coq proof assistant? Oct 5 '11
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.