Dave Clarke

10,403 reputation

11856

bio	website	people.cs.kuleuven.be/…
	location	Leuven, Belgium
	age	41
visits	member for	1 year, 2 months
	seen	4 hours 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,403 reputation	bio	website	people.cs.kuleuven.be/…	visits	member for	1 year, 2 months
11856 badges		location	Leuven, Belgium		seen	4 hours 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,403 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

123 Tags

166 programming-languages × 27	88 reference-request × 13
147 logic × 22	73 computability × 12
129 algorithms × 21	64 lambda-calculus × 9
93 terminology × 17	54 regular-languages × 8
92 formal-languages × 15	50 type-theory × 5