アントニー・ホーア教授が英国ロイヤル・メダルを受賞！

2000年に第16回京都賞先端技術部門を受賞したアントニー・ホーア教授 が8月30日、英国ロイヤル・メダルの物理学分野の受賞者に選ばれました。このたびのご栄誉、誠におめでとうございます！

英国王立協会の発表によると、ホーア教授は「コンピュータ・プログラミングの分野に革命をもたらした画期的な貢献、すなわち証明可能な正しいコードへの道を開き、ソフトウェアの信頼性を確保するための堅牢なフレームワークを提供したホーア論理の開発」を評価され受賞しました（英国王立協会の発表 ）。

ロイヤル・メダルは、1825年に国王ジョージ4世によって創設された賞です。毎年、イギリス連邦内で自然界についての知識の発展に最も貢献した人に2つのメダルが、応用科学の分野で顕著な貢献をした人に1つのメダルが与えられています。

＊写真は第16回(2000)京都賞 ワークショップ先端技術部門より