Home /
News
Sir Charles Antony Richard Hoare received Honorary Doctorate of the University of Warsaw
On November 28th in the Chamber of the Senate of UW in Kazimierzowski Palace was held the ceremony of granting the honorary doctorate to Sir Charles Antony Richard Hoare.
The resolution on granting Honorary Doctorate to Sir Charles Antony Richard Hoare was passed by the Senate of UW on October 17th, 2012. Professor Władysław M. Turski was the Promotor of the Doctorate, Professor Paweł M. Idziak from Jagiellonian University, Professor Henryk Krawczyk from Gdańsk University of Technology and Professor Antoni Mazurkiewicz from Polish Academy of Sciences served as reviewers.
Sir Charles Antony Richard Hoare, in IT community known as Tony Hoare, graduated from the University of Oxford, where he completed his studies on mathematical statistics. After serving military service in the Royal Navy, he had an internship in Moscow State University, where he did research on the issues of computer translation. Over his employment in Elliot Brothers – a computer producer he implemented Algol 60 and developed a number of calculation algorithms. In 1968 he was granted the Professor’s title at Queens University in Belfast, and after nine years he returned to University of Oxford, where he was a founder of the Faculty of Computer Sciences. Today he is a retired professor of the University of Oxford.
Sir Charles Antony Richard Hoare has a record of considerable scientific achievements. He developed, among others, a Quicksort, Hoare logic for verifying program correctness, formal CSP (Communicating Sequential Processes) language to specify the interactions of concurrent processes, as well as numerous constructions and solutions applied in programming languages.
The scientist is also the author of over 200 publications. Professor Hoare is not only a renowned researcher, but also a university professor who has supervised 23 doctors of philosophy. In recognition of his achievements the scientist was granted most prestigious awards in the field of computer sciences, including Turing Award, Kyoto Prize and von Neumann Medal. He also holds the membership of several prestigious scientific institutions such as the Royal Society and Royal Academy of Engineering. In 2000 Professor Hoare was granted British Knighthood.
