Tony Hoare

Wikipedia, Entziklopedia askea
Jump to navigation Jump to search
Tony Hoare
CAR Hoare.jpg
Bizitza
Jaiotza Kolonbo1934ko urtarrilaren 11 (84 urte)
Herrialdea  Erresuma Batua
Hezkuntza
Heziketa Moskuko Estatu Unibertsitatea
Merton College
Oxfordeko Unibertsitatea
Doktorego ikaslea(k) Bill Roscoe
Cliff Jones
Augusto Sampaio
Hizkuntzak ingelesa
Jarduerak
Jarduerak informatikaria, ingeniaria, programatzailea, idazlea eta unibertsitateko irakaslea
Enplegatzailea(k) Microsoft
Lan nabarmenak quicksort
Hoare logic
communicating sequential processes
Jasotako sariak
Kidetza Royal Society
Linzeen Akademia
Academia Europaea
Zientzien Bavariar Akademia

Sir Charles Antony Richard Hoare, Tony Hoare edo C. A. R. Hoare bezala ezagutua (Kolonbo, 1934ko urtarrilaren 11), Britainia Handiko informatikaria da, 1959/1960 urteetan quicksort izeneko ordenazio-algoritmoa garatu zuena. Horretaz gain, programen zuzentasuna egiaztatzeko Hoare logika definitu zuen; prozesu konkurrenteen elkarrekintzak espezifikatzeko "communicating sequential processes (CSP)" izeneko komunikazio-lengoaia (filosofoen afariaren problema barne) garatu zuen eta occam programazio-lengoaiaren inspiratzaile izan zen.