Theoretical Computer Science
Dave Clarke
  • Member for 11 years, 3 months
  • Last seen more than 3 years ago
Profile Activity
Stats
16,496
reputation
392k
reached
140
answers
10
questions
top 0.88% overall
Communities
View all
About

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

Badges
View all badges
3
gold badges
58
silver badges
106
bronze badges
Top tags
View all tags
460
Score
39
Posts
26
Posts %
388
Score
32
Posts
21
Posts %
290
Score
32
Posts
21
Posts %
223
Score
14
Posts
9
Posts %
142
Score
18
Posts
12
Posts %
120
Score
9
Posts
6
Posts %
Top posts
View all questions, answers, and articles
All Questions Answers Articles
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
Top Meta posts
3
29
20
Broadening the scope of questions
12
Migrating to cs.SE
9
Who would you like to become the new moderators?
9
Promoting TCS.SE at FCRC
8
Should we allow this type of question: "Evaluating a doctoral program/institute of CS"
Top network posts
View all network posts
123
Why are there so many programming languages?
118
Is talking about quitting to your supervisor a point of no return?
97
Split a number into its digits with Haskell
77
What is coinduction?
74
What is expected of a postdoc?

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.