Theoretical Computer Science
Meta user
Network profile
16,178
reputation
3
55
105

Dave Clarke

Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.

140
answers
10
questions
~338k
people reached
  • Uppsala, Sweden
  • supercooldave.github.io
  • Member for 9 years, 5 months
  • 3,711 profile views
  • Last seen Nov 14 '18 at 20:47

Communities (17)

Top Meta Posts
3
29

Top network posts

Top tags (122)

Score 454
Posts 39
Posts % 26
Score 381
Posts 32
Score 278
Posts 32
Score 219
Posts 14
Score 141
Posts 18
Score 115
Posts 9
View all tags →

Top posts (150) All Questions Answers | Votes Newest

48 Shallow versus Deep Embeddings Sep 16 '10
46 Solid applications of category theory in TCS? Sep 4 '10
41 What Books Should Everyone Read? Nov 22 '10
36 How do 'tactics' work in proof assistants? Mar 27 '11
35 What is the most intuitive dependent type theory I could learn? Apr 17 '11
32 How would I go about learning the underlying theory of the Coq proof assistant? Apr 3 '11
32 Programming languages for efficient computation Feb 24 '11
29 Advice for attending my first TCS conference Nov 24 '11
28 Presenting work-in-progress (slides now available) Jan 21 '11
26 Physics results in TCS? Oct 10 '10
View all questions and answers →

Badges (163)

Gold

3

Rarest

Silver

55

Rarest

Bronze

105

Rarest

View all badges →