Theoretical Computer Science
Dave Clarke
Profile Activity
Stats
16,446
reputation
382k
reached
140
answers
10
questions
About

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

Communities (17)

Top Meta Posts
3
29

Top network posts

3
gold badges
58
silver badges
106
bronze badges
View all badges

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
52 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 →

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.