Dominic Mulligan

Member for 11 years, 11 months
Last seen more than 1 year ago

dominic-mulligan.co.uk
Cambridge, United Kingdom

Summary

Reputation

837

847
812
777

2019
2020
2021
2022

Top tag

type-theory

Next privilege

1,000 Rep.

See votes

Badges

9

15

Newest

Yearling

Next badge

0/1

Custodian

Answers

View all 20 answers

Score Activity Newest

26

Major unsolved problems in theoretical computer science?

Aug 24, 2010

15

How do 'tactics' work in proof assistants?

Oct 7, 2011

13

Are there any counterintuitive results in theoretical computer science?

Nov 25, 2010

13

Powerful Algorithms too complex to implement

Jan 24, 2011

12

Small steps for better TCS conferences?

May 17, 2011

Questions

Score Activity Newest Views

This user has not asked any questions

Tags

View all 36 tags

type-theory

38

Score

6

posts

lo.logic

34

Score

5

posts

proof-assistants

25

Score

3

posts

pl.programming-languages

24

Score

5

posts

functional-programming

15

Score

3

posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

9

silver badges

Good Answer

Jan 7, 2017
Necromancer

× 4

Jul 17, 2016
Yearling

× 4

Dec 17, 2018

15

bronze badges

Precognitive

Dec 9, 2010
Revival

Nov 27, 2012
Caucus

Oct 3, 2017

Bookmarks

Score Activity Newest Views Added

This user has no bookmarked questions.

Accounts

View all 7 accounts

Theoretical Computer Science

837
9
15

456
2
10

151
2

141
2

101
1

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

53

upvotes

8

downvotes

21

question votes

40

answer votes