Radu GRIGore

less info

network profile

1,961 reputation

830

bio	website	rgrig.appspot.com
	location	London, United Kingdom
	age	32
visits	member for	1 year, 9 months
	seen	10 hours ago
stats	profile views	456

program verification, mostly

summary answers questions tags badges favorites bounties reputation activity

28 Answers

votes activity newest

31	Algorithms from the Book.
20	What's new in purely functional data structures since Okasaki?
20	What is the theoretical basis of imperative programming?
16	What papers should everyone read?
12	Is it possible to generate a collision free hash function from an equality function?

view more

1,961 Reputation

+20	How to find the cycles which, together, involve the biggest number of non-shared edges in a directed graph?
+5	What bounds can be put on counting reachable nodes in a dag?
+10	How important is knowing how to program for TCS?
+5	What algorithms are known for computing Craig interpolants?

view more

5 Questions

votes activity newest

31	For which algorithms is there a large gap between the theoretical analysis and reality?
15	What bounds can be put on counting reachable nodes in a dag?
13	What algorithms are known for computing Craig interpolants?
10	How hard is it to reduce termination to partial correctness?
6	Do people look at loop nestness in boolean circuits?

53 Tags

66 pl.programming-languages × 6	28 big-list × 8
51 reference-request × 9	20 imperative-programming
40 ds.data-structures × 8	15 software × 3
32 functional-programming × 2	13 lo.logic × 6
29 ds.algorithms × 9	12 program-verification × 3

view more

7 Accounts

	Theoretical Computer Science	1,961 rep	830
	Computer Science	668 rep	211
$Mathematics$	Mathematics	462 rep	18
	Area 51	261 rep	4
$TeX - LaTeX$	TeX - LaTeX	168 rep	4

38 Badges

recent class name

Necromancer	Nice Question × 4
Nice Answer × 7	Organizer
Announcer × 4	Citizen Patrol
Good Answer	Enthusiast
Yearling	Civic Duty

view more

0 Active bounties

active offered earned

This user has no active bounties

530 Votes Cast

all time			by type			month		week
521	up		189	question		10		1
9	down		341	answer		10		1

view more

Theoretical Computer Science - Stack Exchange works best with JavaScript enabled