Theoretical Computer Science
Radu GRIGore
  • Member for 11 years, 5 months
  • Last seen more than 1 year ago
Profile Activity
Stats
4,716
reputation
4k
reached
8
answers
2
questions
Communities
View all
About

program verification, mostly

Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
10
bronze badges
Top tags
View all tags
23
Score
9
Posts
90
Posts %
12
Score
1
Posts
10
Posts %
5
Score
1
Posts
10
Posts %
5
Score
1
Posts
10
Posts %
1
Score
2
Posts
20
Posts %
0
Score
1
Posts
10
Posts %
Top posts
All Questions Answers
Votes Newest
17
Broadening the scope of questions
Feb 16 '11
12
Why StackExchange?
Feb 11 '11
12
Dealing with user issue
Dec 17 '10
5
Can't see formulas
Oct 11 '10
4
cstheory vs AI stackexchange site
Aug 26 '10
4
How can we collaboratively investigate open problems?
Aug 31 '10
3
Material to supplement the FAQ
Aug 20 '10
2
The MO vs SO question
Aug 19 '10
1
When do we get a "subjective question" warning?
Sep 10 '10
1
1000 posts - Is our rocket flying well?
Dec 17 '10
Top network posts
View all network posts
55
For which algorithms is there a large gap between the theoretical analysis and reality?
51
Is the Jaccard distance a distance?
48
Algorithms from the Book.
43
What's new in purely functional data structures since Okasaki?
40
Do you get DFS if you change the queue to a stack in a BFS implementation?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.