On June 7, 2013, at 2 p.m. in the assembly hall of University ITMO will take place a meeting with outstanding computer scientist, working in the wide range of areas from sorting algorithms to concurrency and verification, sir Tony Hoare, where he will receive a degree and mantle of Honorary Doctor of University ITMO.
Sir Charles Antony Richard Hoare (Tony Hoare, C.A.R. Hoare) – is a major British computer scientist, author of Quicksort, Hoare logic for verifying program correctness, the formal language Communicating Sequential Processes (CSP).
He received his Bachelor's degree in Classics from the University of Oxford (1956), studied computer translation of human languages at the Moscow State University in the Soviet Union in the school of Kolmogorov (1960). He became the Professor of Computing Science at the Queen's University of Belfast (1968), and returned to Oxford as the Professor of Computing to lead the Programming Research Group in the Oxford University (1977). He is now a principal researcher at Microsoft Research in Cambridge, England.
Among variety of awards and prizes Tony Hoare is awarded with ACM Turing Award (1980) and Computer Pioneer Award (1990) for programming languages definitions.
In 2000, prof. Hoare received a Knighthood for services to Computing Science.
The meeting is open for guests.
2 p.m., June 7, 2013, Russia, Saint Petersburg, Kronverkskiy pr., 49, Assembly hall of University ITMO