Тони Хоар получил степень почетного доктора Варшавского университета.

Sir Charles Antony Richard Hoare doktorem honoris causa Uniwersytetu Warszawskiego. Uroczystość wręczenia dyplomu. Warszawa, 28 listopada 2012 roku

stan dobry

Z ostatniej strony okładki

„Sir Charles Antony Richard Hoare (Tony Hoare) — wybitny, światowej sławy informatyk, emerytowany profesor Oksfordu.

Urodzony 11 stycznia 1934 r. w Colombo (Sri Lanka), ukończył statystykę matematyczną na Uniwersytecie w Oksfordzie. Po odbyciu służby w Królewskiej Marynarce Wojennej (1956–1958) wyjechał na staż do Uniwersytetu Moskiewskiego, gdzie pod kierunkiem Andreja Kołmogorowa kontynuował studia statystyczne i wykorzystywał je w automatycznym przekładzie języków naturalnych. W latach 1960–1968 był zatrudniony w Elliott Brothers, firmie produkującej komputery, gdzie opracował kompilator języka Algol 60 i 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 Oksford, gdzie utworzył Wydział Informatyki.

Uczony jest twórcą m.in. popularnego algorytmu Quicksort, logiki Hoare’a do weryfikacji poprawności programów, 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. Jest autorem ponad 200 publikacji naukowych.

Za swoje osiągnięcia uczony otrzymał wszystkie najważniejsze nagrody, jakie można przyznać w dziedzinie informatyki, w tym: Turing Award, Kyoto Prize oraz Medal von Neumanna. Jest członkiem kilku prestiżowych instytucji naukowych, w tym Royal Society oraz Royal Academy ot Engineering. W 2000 r. nadano mu brytyjski tytuł szlachecki.”

Spis treści

Uchwała nr 11 Senatu Uniwersytetu Warszawskiego z dnia 17 października 2012 r. w sprawie nadania Sir Charlesowi Antony’emu Richardowi Hoare’owi tytułu doktora honoris causa Uniwersytetu Warszawskiego

Opinia dla Senatu Uniwersytetu Warszawskiego w związku z nadaniem tytułu doktora honoris causa Sir Charlesowi Antony’emu Richardowi Hoare’owi — prof. dr hab. Paweł Idziak, Uniwersytet Jagielloński

Opinia dla Senatu Uniwersytetu Warszawskiego w związku z nadaniem tytułu doktora honoris causa Sir Charlesowi Antony’emu Richardowi Hoare’owi — prof. dr hab. inż. Henryk Kowalczyk, Wydział Elektroniki, Telekomunikacji i Informatyki, Politechnika Gdańska

Opinia dla Senatu Uniwersytetu Warszawskiego w związku z nadaniem tytułu doktora honoris causa Sir Charlesowi Antony’emu Richardowi Hoare’owi — prof. dr hab. Antoni Mazurkiewicz, Instytut Podstaw Informatyki, Polska Akademia Nauk

Uroczystość wręczenia dyplomu honoris causa Uniwersytetu Warszawskiego Sir Charlesowi Antony’emu Richardowi Hoare’owi

• Laudacja — prof. dr hab. Władysław M. Turski
• Przemówienie dziekana Wydziału Matematyki, Informatki i Mechaniki Uniwersytetu Warszawskiego prof. dr. hab. Andrzeja Tarleckiego
• Wystąpienie Doktora Honoris Causa Sir Charlesa Antony’ego Richarda Hoare’a