Theoretical Computer Science
Profile Activity
Meta user
Network profile
16,276
reputation
3
56
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
~352k
people reached
  • Uppsala, Sweden
  • supercooldave.github.io
  • Member for 9 years, 11 months
  • 3,779 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 385
Posts 32
Score 279
Posts 32
Score 219
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
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
29 Presenting work-in-progress (slides now available) Jan 21 '11
26 Physics results in TCS? Oct 10 '10
View all questions and answers →

Badges (164)

Gold

3

Rarest

Silver

56

Rarest

Bronze

105

Rarest

View all badges →