On August 30, 2023, Professor Sir Antony Hoare , the 2000 Kyoto Prize laureate in Advanced Technology, was selected as a recipient of the Royal Medal (Physical). Many congratulations on this prestigious recognition!
According to the Royal Society, Sir Antony Hoare FREng FRS received the prize for “groundbreaking contributions that have revolutionised the computer programming field, the development of ‘Hoare logic’ that has paved the way for provably correct code, providing a robust framework for ensuring software reliability.” (The announcement by Royal Society )
The Royal Medals are awards within the British Commonwealth founded by King George IV in 1825. Each year two medals are awarded for the most important contributions to the advancement of “Natural Knowledge” in the physical and biological sciences respectively. A third medal is awarded for distinguished contributions in the applied sciences.
*The photo was taken at the 2000 Kyoto Prize Workshop (Advanced Technology).