Skip to main content
Theoretical Computer Science
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke
  • Member for 14 years, 4 months
  • Last seen more than 7 years ago
Profile Activity
Stats
16,686
reputation
8k
reached
29
answers
3
questions
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
This user doesn’t have any gold badges yet.
17
silver badges
12
bronze badges
Top tags
View all tags
136
Score
30
Posts
94
Posts %
24
Score
5
Posts
16
Posts %
23
Score
4
Posts
12
Posts %
12
Score
1
Posts
3
Posts %
11
Score
2
Posts
6
Posts %
9
Score
4
Posts
12
Posts %
Top posts
View all questions and answers
question
20
Broadening the scope of questions
Oct 6, 2010
answer
12
Migrating to cs.SE
Mar 27, 2012
answer
9
Promoting TCS.SE at FCRC
Mar 10, 2011
answer
8
Should we allow this type of question: "Evaluating a doctoral program/institute of CS"
Feb 21, 2011
answer
8
Questions about compilation errors in Coq
Sep 30, 2010
answer
8
Who would you like to become the new moderators?
Jan 19, 2014
answer
7
What to do about general comments by non-experts which do not add any new information/knowedgle?
Sep 13, 2012
answer
7
What does the "accept rate" mean?
Sep 12, 2011
question
7
What is cstheory.stackexchange.com lacking?
Oct 6, 2010
answer
7
Question “How do you call a subsequence of consecutive elements ?”
Mar 14, 2011
Top network posts
View all network posts
128
Why are there so many programming languages?
117
Is talking about quitting to your supervisor a point of no return?
102
Split a number into its digits with Haskell
86
Software to draw illustrative figures in papers
80
What is coinduction?