Skip to main content
MathOverflow
supercooldave's user avatar
supercooldave's user avatar
supercooldave's user avatar
supercooldave
  • Member for 15 years
Profile Activity
Stats
1,882
reputation
190k
reached
37
answers
9
questions
Communities
About
Computer Science professor.
Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
29
bronze badges
Top tags
View all tags
29
Score
7
Posts
15
Posts %
24
Score
9
Posts
20
Posts %
21
Score
6
Posts
13
Posts %
21
Score
3
Posts
7
Posts %
11
Score
4
Posts
9
Posts %
8
Score
3
Posts
7
Posts %
Top posts
View all questions and answers
answer
20
Should I check with collaborators before presenting unpublished material?
Sep 19, 2010
answer
18
Relating category theory to programming language theory
Jun 10, 2010
answer
14
Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks?
May 20, 2010
question
12
Uses of bisimulation outside of computer science.
May 27, 2010
answer
12
[solved] sequent calculus as programming language
Jun 26, 2010
answer
11
Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks?
May 18, 2010
question
10
180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories
Jun 14, 2010
answer
10
Predicting if something is a code
Jul 2, 2010
answer
10
Undergraduate Level Math Books
May 25, 2010
answer
8
When did the career of 1 as a prime number begin and when did it end?
Jul 6, 2010