Сongratulations!

The Ershov IIS team would like to cordially congratulate Sir Tony Hoare, an outstanding computer scientist whose academic interests include program analysis, semantics and verification and as well as the development of the new means of modern programming languages, on his Eightieth Anniversary.

C.A. R. Hoare has created the sorting and selection algorithm Quicksort, Hoare logic for verifying program correctness and the formal language Communicating Sequential Processes used to specify the interactions between concurrent processes. He has made remarkable contributions to structuring computer operating systems using the monitor concept and the axiomatic specification of programming languages. His awards include the ACM Turing Prize for “fundamental contributions to the definition and design of programming languages” (1980); Harry G. Goode Memorial Award (1981); Faraday Medal (1985), Kyoto Prize (2000); Knighthood for services to education and computer science (2000); honorary Doctorates from several universities; Fellow of the Royal Society, Fellow of the Royal Academy of Engineering and Computer History Museum Fellow (2006) and John von Neumann Medal (2011).

C. Antony R. Hoare has been connected with Russia for many years, since his studies in the school of mathematician Andrey Kolmogorov at Moscow University. Later, he cooperated with the researchers of the Novosibirsk Computing Centre and contributed a lot to the development of the international project Algol 68.

We are grateful to Professor Hoare for his continuous encouragement of the Perspectives of System Informatics conference and are looking forward to see him at the forthcoming PSI’14, where he is to be a keynote speaker.

With all our heart, we wish Tony Hoare many happy years ahead and further creative achievements.