Computer Science
Profile Activity
Meta user
Network profile
19,752
reputation
3
61
112

Dave Clarke

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

168
answers
19
questions
~752k
people reached
  • Uppsala, Sweden
  • supercooldave.github.io
  • Member for 9 years, 3 months
  • 2,038 profile views
  • Last seen Dec 10 '18 at 20:57

Communities (17)

Top Meta Posts
4
12

Top network posts

Top tags (145)

Score 315
Posts 33
Posts % 18
Score 246
Posts 24
Score 186
Posts 24
Score 180
Posts 23
Score 147
Posts 16
Score 143
Posts 17
View all tags →

Top posts (187)

All Questions Answers
Votes Newest
122 Why are there so many programming languages? Mar 17 '12
75 What is coinduction? Mar 19 '12
48 Show that { xy ∣ |x| = |y|, x ≠ y } is context-free Mar 13 '12
36 Criteria for selecting language for first programming course May 20 '12
28 How to prove that a language is not regular? Apr 4 '12
25 How to read typing rules? May 29 '12
25 Learning Automated Theorem Proving Mar 27 '12
25 $\lambda$-calculus with reflection Jul 12 '12
24 When to use recursion? Apr 21 '12
24 What is meant by “solvable by non deterministic algorithm in polynomial time” Apr 13 '12
View all questions and answers →

Badges (176)

Gold

3

Rarest

Silver

61

Rarest

Bronze

112

Rarest

View all badges →

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.