Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego

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.

Sir Charles Anthony Richard Hoare

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.

W związku z tym wydarzeniem, laureat w poniedziałek 26 listopada 2012 wygłosił wykład otwarty:

Could computers understand their own programs?

Summary: I interpret this question by drawing on the logic of Aristotle, the geometry of Euclid, and the discovery of assertions by Alan Turing. I suggest an analogue of the Turing test for testing the understanding of computers. It is by an interactive (viva voce) examination, in the same way that we test the understanding of our students. The essential criterion of understanding is that the student can justify each answer with evidence explaining the why it follows. The computer passes the test if its answers to questions are of practical value to professional programmers.

We wtorek 27 listopada 2012 odbyło się otwarte spotkanie prof. Hoare'a ze studentami i doktorantami.