Skip to main content
Theoretical Computer Science
Radu GRIGore's user avatar
Radu GRIGore's user avatar
Radu GRIGore's user avatar
Radu GRIGore
  • Member for 14 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
4,796
reputation
610k
reached
44
answers
8
questions
Communities
View all
About

program verification, mostly

Badges
View all badges
This user doesn’t have any gold badges yet.
32
silver badges
69
bronze badges
Top tags
View all tags
138
Score
12
Posts
23
Posts %
122
Score
9
Posts
17
Posts %
70
Score
10
Posts
19
Posts %
67
Score
8
Posts
15
Posts %
56
Score
13
Posts
25
Posts %
40
Score
5
Posts
10
Posts %
Top posts
View all questions and answers
question
59
For which algorithms is there a large gap between the theoretical analysis and reality?
Aug 19, 2010
answer
48
Algorithms from the Book
Aug 18, 2010
answer
44
What's new in purely functional data structures since Okasaki?
Sep 21, 2010
answer
37
What papers should everyone read?
Sep 12, 2010
answer
29
Symbolic Execution is a case of Abstract Interpretation?
Nov 9, 2013
answer
28
What is the theoretical basis of imperative programming?
Aug 18, 2010
question
23
What bounds can be put on counting reachable nodes in a dag?
Aug 25, 2010
answer
22
Books on programming language semantics
Dec 5, 2010
question
19
What algorithms are known for computing Craig interpolants?
Aug 27, 2010
answer
18
What is the enlightenment I'm supposed to attain after studying finite automata?
Dec 23, 2012
Top Meta posts
2
8
17
Broadening the scope of questions
12
Why StackExchange?
11
Dealing with user issue
5
Can't see formulas
4
cstheory vs AI stackexchange site
Top network posts
View all network posts
62
Is the Jaccard distance a distance?
43
Do you get DFS if you change the queue to a stack in a BFS implementation?
38
Graph searching: Breadth-first vs. depth-first
28
What is convolution intuitively?
18
ML function of type 'a -> 'b