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
Join us in building a kind, collaborative learning community via our updated Code of Conduct.
Meta User
Network Profile
14,960 reputation
3
49
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
~303k people reached

Communities (17)

Top Meta Posts 3 29

Top Network Posts

Top Tags (122)

Score 446
Posts 39
Posts % 26
Score 367
Posts 32
Score 275
Posts 32
Score 205
Posts 14
Score 139
Posts 18
Score 111
Posts 9
View all tags →

Top Posts (150) All Questions Answers | Votes Newest

44 Shallow versus Deep Embeddings Sep 16 '10
44 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
29 Advice for attending my first TCS conference Nov 24 '11
28 How would I go about learning the underlying theory of the Coq proof assistant? Apr 3 '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 (155)

Gold 3

Rarest
Silver 49

Rarest
Bronze 103

Rarest
View all badges →