Dave Clarke

10,404 reputation

11857

bio	website	people.cs.kuleuven.be/…
	location	Leuven, Belgium
	age	41
visits	member for	1 year, 2 months
	seen	7 mins ago
stats	profile views	448

Computer scientist working on programming language design, formal methods for software product line engineering and security, with a smattering of logic and coordination in there for good measure.

	10,404 reputation	bio	website	people.cs.kuleuven.be/…	visits	member for	1 year, 2 months
11857 badges		location	Leuven, Belgium		seen	7 mins ago

summary answers questions tags badges favorites bounties reputation activity

124 Answers

votes activity newest

51	Why are there so many programming languages?
15	How to read typing rules?
15	When to use recursion?
14	When should I learn artificial intelligence?
14	How To Best Learn About Algorithms In Depth

10,404 Reputation

+65	Why do the sequent calculus NOT left and NOT right rules work?
+10	How to read typing rules?
+20	Human computing power: Can humans decide the halting problem on Turing Machines?
+10	Unification vs. SAT solver

17 Questions

votes activity newest

24	What is coinduction?
21	Criteria for selecting language for first programming course
19	Clustering of Songs (The Joe Walsh Problem)
15	Show that $\{xy \mid \|x\| = \|y\|, x\neq y\}$ is context-free
14	Showing that a problem in X is not X-Complete

124 Tags

166 programming-languages × 27	89 reference-request × 13
153 logic × 23	73 computability × 12
129 algorithms × 21	64 lambda-calculus × 9
94 terminology × 17	54 regular-languages × 8
92 formal-languages × 15	51 type-theory × 5