Dave Clarke

12,311 reputation

23589

bio	website	people.cs.kuleuven.be/…
	location	Leuven, Belgium
	age	41
visits	member for	2 years, 9 months
	seen	10 hours ago
stats	profile views	2,618

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.

	12,311 reputation	bio	website	people.cs.kuleuven.be/…	visits	member for	2 years, 9 months
23589 badges		location	Leuven, Belgium		seen	10 hours ago

summary answers questions tags badges favorites bounties reputation activity

133 Answers

votes activity newest

30	Solid applications of category theory in TCS?
28	Programming languages for efficient computation
28	Advice for attending my first TCS conference
25	What Books Should Everyone Read?
22	How do 'tactics' work in proof assistants?

12,311 Reputation

+10	What can I do to supplement my theoretical undergraduate CS curriculum so that I can increase my value in industry & academia?
+10	What are the differences between logical relations and simulations?
+10	Advice for attending my first TCS conference
+10	Template Metaprogramming and Turing Completeness

9 Questions

votes activity newest

31	Shallow versus Deep Embeddings
28	Presenting work-in-progress (slides now available)
21	Curriculum: Logical/Formal Methods in Security
17	Techniques for showing non-derivability in logics and other formal proof systems
16	Open or Interactive Constraint Satisfaction

117 Tags

355 pl.programming-languages × 34	85 computability × 8
277 lo.logic × 32	74 graph-theory × 8
248 soft-question × 32	64 ct.category-theory × 7
135 type-theory × 13	57 advice-request × 9
109 reference-request × 17	57 cc.complexity-theory × 7

14 Accounts

Academia	13,891 rep	3770
Theoretical Computer Science♦	12,311 rep	23589
Computer Science	10,328 rep	11856
Parenting	831 rep	210
Stack Overflow	399 rep	510

47 Badges

recent class name

Popular Question × 2	Reviewer
Custodian × 4	Necromancer × 2
Nice Answer × 49	Yearling × 2
Good Question × 2	Enlightened × 16
Good Answer × 4	Constituent

0 Active bounties

active offered earned

This user has no active bounties

2,221 Votes Cast

all time			by type			month		week
2,157	up		940	question		11		1
64	down		1,281	answer		11		1

user feed