Radu GRIGore

less info

network profile

2,499 reputation

1136

bio	website	rgrig.appspot.com
	location	London, United Kingdom
	age	33
visits	member for	2 years, 9 months
	seen	5 hours ago
stats	profile views	554

program verification, mostly

summary answers questions tags badges favorites bounties reputation activity

32 Answers

votes activity newest

31	Algorithms from the Book.
23	What's new in purely functional data structures since Okasaki?
22	What papers should everyone read?
21	What is the theoretical basis of imperative programming?
13	Original Hoare Logic termination paper

view more

2,499 Reputation

+25	Do people look at loop nestness in boolean circuits?
+20	How important is knowing how to program for TCS?
+20	What's new in purely functional data structures since Okasaki?
+5	What bounds can be put on counting reachable nodes in a dag?

view more

5 Questions

votes activity newest

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

62 Tags

86 pl.programming-languages × 8	33 big-list × 8
68 reference-request × 10	32 lo.logic × 8
43 ds.data-structures × 8	31 ds.algorithms × 9
35 functional-programming × 2	21 imperative-programming
34 program-verification × 5	19 software × 3

view more

9 Accounts

	Theoretical Computer Science	2,499 rep	1136
	Computer Science	716 rep	311
$Mathematics Stack Exchange$	Mathematics	502 rep	28
	Area 51	261 rep	4
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	213 rep	15

28 Badges

recent class name

Nice Question × 5	Constituent
Nice Answer × 10	Caucus
Enlightened × 2	Necromancer
Yearling × 2	Good Answer
Announcer × 5	Organizer

view more

0 Active bounties

active offered earned

This user has no active bounties

634 Votes Cast

all time			by type			month
625	up		228	question		2
9	down		406	answer		2

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.22.696

Theoretical Computer Science Stack Exchange works best with JavaScript enabled