Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Meta User
Network Profile
15,013
reputation
3
50
103

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
~307k
people reached

Communities (17)

Top Meta Posts
3
29

Top Network Posts

Top Tags (122)

Score 448
Posts 39
Posts % 26
Score 370
Posts 32
Score 275
Posts 32
Score 207
Posts 14
Score 139
Posts 18
Score 112
Posts 9
View all tags →

Top Posts (150) All Questions Answers | Votes Newest

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

Badges (156)

Gold

3

Rarest

Silver

50

Rarest

Bronze

103

Rarest

View all badges →