Differences between version 2 and predecessor to the previous major change of CharlesAntonyRichardHoare.
Other diffs: Previous Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 2 | Last edited on Tuesday, December 2, 2003 2:25:47 pm | by AristotlePagaltzis | Revert |
| Older page: | version 1 | Last edited on Monday, December 1, 2003 10:34:33 pm | by CraigBox | Revert |
@@ -1,4 +1,13 @@
-Being that someone made his name a WikiWord and then COMPLETELY FORGOT TO DESCRIBE HIM (glare) I am going to tell you only that this man works for MicrosoftCorporation, and completely ignore everything else about him. Google, and someone fill this page
in.
+One of the big names
in ComputerScience
.
-Here is a picture
of Tony Hoare in New Zealand
: %%%
-[http://research.microsoft.com/~thoare/tony01.jpg
]
+;: There are two ways
of constructing a software design
: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies.
%%% ''— CharlesAntonyRichardHoare''
+
+It was him who discovered QuickSort in 1960, which is perhaps the single most widely used [Algorithm] ever.
+
+He also described the formal logic system named after himself, Hoare logic or Hoare calculus, in his 1969 paper
[An axiomatic basis for computer programming |
http://portal.acm.org/citation.cfm?doid=363235.363259]. This system defines axioms which can be used to reason about computer programs, in order to do such things as formally proving their correctness.
+
+He now works at the [Microsoft Research Labs | http://www.
research.microsoft.com/~thoare/].
+
+----
+
+CategoryPeople
