Charles Antony Richard Hoare
Aspect
Charles Antony Richard Hoare (n. , Colombo, Sri Lanka – d. , Cambridgeshire(d), Anglia, Regatul Unit) a fost un informatician britanic, celebru pentru inventarea, în 1960, a algoritmului de sortare quicksort, unul dintre cei mai eficienți și mai utilizați algoritmi de sortare. De asemenea, a dezvoltat logica Hoare pentru verificarea corectitudinii programelor, și limbajul formal CSP, folosit pentru descrierea interacțiunilor proceselor concurente (de exemplu, problema filosofilor). A primit, în 1980, Premiul Turing din partea ACM.
Note
[modificare | modificare sursă]- ↑ Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
- ↑ „Tony Hoare” (în engleză). SNAC. Wikidata Q29861311. Accesat în .
- 1 2 3 4 5 6 „C. A. R. Hoare” (în engleză). Who's Who[*]. ISSN 0083-937X. Wikidata Q2567271.
- ↑ Lance Fortnow. „Tony Hoare (1934-2026)” (în engleză). Accesat în .
- 1 2 Darryl Roger Lundy. „C. A. R. Hoare” (în engleză). The Peerage[*]. Wikidata Q21401824.
- ↑ „C. A. R. Hoare”. The Peerage[*].
- ↑ „C. A. R. Hoare”. LIBRIS. . Wikidata Q1798125. Accesat în .
- ↑ http://wwwp.oakland.edu/enp/erdpaths/. Lipsește sau este vid:
|title=(ajutor) - ↑ „Soci Lincei 1870-2026”. doi:10.5281/ZENODO.18315206. Accesat în .
- ↑ „C. A. R. Hoare” (în engleză). www.ae-info.org[*]. Wikidata Q107213897.
- ↑ https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/. Lipsește sau este vid:
|title=(ajutor) - ↑ „2020 ACM Fellows Recognized for Work that Underpins Today's Computing Innovations”. Association for Computing Machinery. Accesat în .
- ↑ „C. A. R. Hoare” (în engleză). Genealogia matematicienilor. Wikidata Q829984. Accesat în .
- ↑ „C. A. R. Hoare” (în engleză). Genealogia matematicienilor. Wikidata Q829984. Accesat în .
- 1 2 3 4 5 6 7 „C. A. R. Hoare” (în engleză). Genealogia matematicienilor. Wikidata Q829984.