Theoretical Computer Science
Profile Activity
Meta user
Network profile
16,426
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
~376k
people reached
  • Uppsala, Sweden
  • supercooldave.github.io
  • Member for 10 years, 10 months
  • 3,868 profile views
  • Last seen Nov 14 '18 at 20:47

Communities (17)

Top Meta Posts
3
29

Top network posts

Top tags (122)

Score 460
Posts 39
Posts % 26
Score 387
Posts 32
Score 289
Posts 32
Score 221
Posts 14
Score 142
Posts 18
Score 120
Posts 9
View all tags →

Top posts (150)

All Questions Answers
Votes Newest
51 Shallow versus Deep Embeddings Sep 16 '10
50 Solid applications of category theory in TCS? Sep 4 '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 →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.