https://en.wikipedia.org/wiki/Tony_Hoare
"Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) FRS FREng[3] (born 11 January 1934)[4] is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.[5] His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
Hoare developed the sorting algorithm quicksort in 1959–1960.[6] He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem.[7][8][9][10][11][12] He is also credited with development (and later criticism) of the null pointer, having introduced it in the ALGOL family of languages. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge."
https://fr.wikipedia.org/wiki/Charles_Antony_Richard_Hoare
"The title of Knight Bachelor is the basic rank granted to a man who has been knighted by the monarch but not inducted as a member of one of the organised orders of chivalry; it is a part of the British honours system.[1] Knights Bachelor are the most ancient sort of British knight[2] (the rank existed during the 13th-century reign of King Henry III), but Knights Bachelor rank below knights of chivalric orders. A man who is knighted is formally addressed as "Sir [First Name] [Surname]" or "Sir [First Name]" and his wife as "Lady [Surname]"."
Articles
Aucun commentaire:
Enregistrer un commentaire