Theoretical Computer Science
Profile Activity
Meta user
Network profile
817
reputation
9
15

Dominic Mulligan

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

20
answers
0
questions
~139k
people reached
  • Cambridge, United Kingdom
  • dominic-mulligan.co.uk
  • Member for 9 years, 10 months
  • 166 profile views
  • Last seen Dec 23 '19 at 12:41

Communities (7)

Top network posts

We respect a laser-like focus on one topic.

Top tags (35)

Score 36
Posts 6
Posts % 30
Score 31
Posts 5
Score 24
Posts 5
Score 23
Posts 3
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
13 Are there any counterintuitive results in theoretical computer science? Nov 25 '10
13 Powerful Algorithms too complex to implement Jan 24 '11
13 How do 'tactics' work in proof assistants? Oct 7 '11
12 Small steps for better TCS conferences? May 17 '11
11 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 →

Badges (24)

Gold

—

Silver

9

Rarest

Bronze

15

Rarest

View all badges →