Sir Charles Antony Richard Hoare doktorem honoris causa UW

28 listopada 2012 r.odbyła się uroczystość nadania najwyższego tytułu akademickiego profesorowi Hoare'owi – jednemu z najwybitniejszych twórców informatyki, którego osiągnięcia wyznaczają kamienie milowe w rozwoju tej nauki.

Uchwałę o nadaniu uczonemu tytułu doktora honoris causa Senat UW podjął 17 października 2012 r. Promotorem doktoratu był prof. Władysław M. Turski, a recenzentami prof. prof. Paweł M. Idziak z Uniwersytetu Jagiellońskiego, Henryk Krawczyk z Politechniki Gdańskiej oraz Antoni Mazurkiewicz z Polskiej Akademii Nauk.

Sir Charles Antony Richard Hoare, znany w środowisku informatycznym jako Tony Hoare, jest absolwentem Oxford University, na którym ukończył statystykę matematyczną. Po odbyciu służby w Królewskiej Marynarce Wojennej wyjechał na staż na Uniwersytet Moskiewski, gdzie zajmował się zagadnieniami translacji komputerowej. Przez osiem lat pracował w Elliot Brothers - firmie produkującej komputery, gdzie zaimplementował translator Algol 60 i opracował wiele algorytmów obliczeniowych. W 1968 r. został profesorem informatyki na Queen's University w Belfaście, a dziewięć lat później powrócił na Oxford University, gdzie utworzył Wydział Informatyki. Aktualnie jest emerytowanym profesorem tego Uniwersytetu.

Uczony ma na swoim koncie niezwykłe osiągnięcia. Jest twórcą m.in. tzw. sortowania szybkiego, logiki Hoare'a do weryfikacji poprawności programów, formalnego języka CSP (Communicating Sequential Processes) służącego do specyfikacji współbieżnych procesów, a także wielu konstrukcji i rozwiązań stosowanych w językach programowania.

Informatyk jest autorem ponad 200 publikacji naukowych. Profesor Hoare to nie tylko wybitny naukowiec, ale również nauczyciel, który wykształcił 23 doktorów. Za swoje osiągnięcia uczony otrzymał wszystkie najważniejsze nagrody, jakie można przyznać w dziedzinie informatyki, m.in. Turing Award, Kyoto Prize oraz Medal von Neumanna. Jest członkiem kilku prestiżowych instytucji naukowych, w tym Royal Society oraz Royal Academy of Engineering. W 2000 r. nadano mu brytyjski tytuł szlachecki.

ZOBACZ GALERIĘ