Theoretical Computer Science
Profile Activity
Meta user
Network profile
16,366
reputation
3
57
106

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
~363k
people reached
  • Uppsala, Sweden
  • supercooldave.github.io
  • Member for 10 years, 5 months
  • 3,814 profile views
  • Last seen Nov 14 '18 at 20:47

Communities (17)

Top Meta Posts
3
29

Top network posts

Top tags (122)

Score 459
Posts 39
Posts % 26
Score 386
Posts 32
Score 288
Posts 32
Score 220
Posts 14
Score 142
Posts 18
Score 118
Posts 9
View all tags →

Top posts (150)

All Questions Answers
Votes Newest
50 Solid applications of category theory in TCS? Sep 4 '10
49 Shallow versus Deep Embeddings Sep 16 '10
41 What Books Should Everyone Read? Nov 22 '10
37 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
29 Presenting work-in-progress (slides now available) Jan 21 '11
27 Physics results in TCS? Oct 10 '10
View all questions and answers →

Badges (166)

Gold

3

Rarest

Silver

57

Rarest

Bronze

106

Rarest

View all badges →