Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
4
Newest
 Critic
Impact
~256 people reached

  • 0 posts edited
  • 0 helpful flags
  • 7 votes cast
Jun
22
awarded  Critic
Jul
19
answered Understanding comparison using Big O notation
Feb
11
answered Will correctness proofs of code ever go mainstream?
Feb
11
comment Will correctness proofs of code ever go mainstream?
astree.ens.fr See Industrial Applications of Astrée here
Aug
6
awarded  Supporter
Jul
9
awarded  Teacher
Jul
9
awarded  Autobiographer
Jul
9
answered What are some common algorithm optimization opportunities - mathematical or otherwise