Theoretical Computer Science
user avatar
user avatar
user avatar
Radu GRIGore
  • Member for 11 years, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
4,746
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
Score Newest
answer
17
Broadening the scope of questions
Feb 16, 2011
question
12
Why StackExchange?
Feb 11, 2011
answer
12
Dealing with user issue
Dec 17, 2010
answer
5
Can't see formulas
Oct 11, 2010
answer
4
cstheory vs AI stackexchange site
Aug 26, 2010
answer
4
How can we collaboratively investigate open problems?
Aug 31, 2010
answer
3
Material to supplement the FAQ
Aug 20, 2010
answer
2
The MO vs SO question
Aug 19, 2010
question
1
When do we get a "subjective question" warning?
Sep 10, 2010
answer
1
1000 posts - Is our rocket flying well?
Dec 17, 2010
Top network posts
View all network posts
55
For which algorithms is there a large gap between the theoretical analysis and reality?
52
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.