Dave Clarke

12,331 reputation

23589

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

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,331 reputation	bio	website	people.cs.kuleuven.be/…	visits	member for	2 years, 9 months
23589 badges		location	Leuven, Belgium		seen	7 hours ago

summary answers questions tags badges favorites bounties reputation activity

133 Answers

votes activity newest

30	Solid applications of category theory in TCS?
29	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,331 Reputation

+10	Programming languages for efficient computation
+10	What is the most intuitive dependent type theory I could learn?
+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?

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

356 pl.programming-languages × 34	86 computability × 8
278 lo.logic × 32	74 graph-theory × 8
248 soft-question × 32	64 ct.category-theory × 7
136 type-theory × 13	58 cc.complexity-theory × 7
109 reference-request × 17	57 advice-request × 9

14 Accounts

Academia	13,961 rep	3770
Theoretical Computer Science♦	12,331 rep	23589
Computer Science	10,404 rep	11857
Parenting	841 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,222 Votes Cast

all time			by type			month
2,158	up		941	question		12
64	down		1,281	answer		12

user feed