Radu GRIGore
program verification, mostly
8
answers
2
questions
~4k
people reached
-
Canterbury, United Kingdom
-
Member for 10 years, 5 months
-
29 profile views
-
Last seen Aug 2 '20 at 7:30
Communities (12)
- Theoretical Computer Science 4.6k 4.6k 2626 silver badges6868 bronze badges
- Computer Science 1.2k 1.2k 1111 silver badges1515 bronze badges
- MathOverflow 1.2k 1.2k 11 gold badge1616 silver badges1919 bronze badges
- Mathematics 892 892 55 silver badges1515 bronze badges
- Area 51 261 261 44 bronze badges
- View network profile
Top 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.
- 41 What's new in purely functional data structures since Okasaki?
- 38 Do you get DFS if you change the queue to a stack in a BFS implementation?
- 37 What papers should everyone read?
- 35 Graph searching: Breadth-first vs. depth-first
- View more network posts →
Top tags (9)
Score
23
Posts
9
Posts %
90
Badges (21)
Gold
—
Silver
11
Rarest
-
Mar 5 '11
Bronze
10
Rarest
-
Sep 15 '10
-
Feb 12 '11
-
Aug 20 '10