アントニー・ホーア

チャールズ・アントニー・リチャード・ホーア（Charles Antony Richard Hoare、1934年1月11日 - ）は、イギリスの計算機科学者。通称はトニー・ホーア（Tony Hoare）またはC・A・R・ホーア。
クイックソート（一般的な場合には最も性能の良い実装ができるとされるソートアルゴリズム）の考案でも知られるが、専門的な業績としては、ホーア論理や、並行プロセスを形式記述するCommunicating Sequential Processes（CSP）などがある。CSPはプログラミング言語Occamに示唆を与えた。
経歴.
イギリス領セイロンのコロンボにてイギリス人の両親の元に生まれた。1956年にオックスフォード大学にて西洋古典学の学士号を取得。 その後オックスフォード大に1年残って大学院相当の統計学を学ぶ。1956年から1958年までイギリス海軍で兵役に就く。そしてソビエト連邦のモスクワ大学にてロシア語を学ぶと同時に、自然言語の機械翻訳について研究を始める。
1960年、エリオット・ブラザーズ社という小さなコンピュータ製造会社にて仕事を始め、ここで ALGOL 60 を実装、各種アルゴリズムの開発に本格的に着手する。1968年にはクィーンズ大学ベルファスト校で計算機科学の教授となり、1977年にはオックスフォードに戻ってコンピューティングの教授となり、クリストファー・ストレイチーの死に伴ってオックスフォード大学コンピューティング研究所（現在の計算機科学科）プログラミング研究部門を指揮するようになった。現在彼は同大学の名誉教授であり、イギリスケンブリッジのマイクロソフト リサーチの主任研究者でもある。
主な研究業績としては、ソートアルゴリズム（クイックソート）、ホーア論理、並行プロセスの相互作用などを形式的に記述し、検証などを行える形式体系（formal system）であるCommunicating Sequential Processes（CSP）、モニタの概念を使った構造化オペレーティングシステム、プログラミング言語の公理的意味論などがある。
語録.
有名な「97%ぐらいの場合、小さな効率については考えるべきではない。早まった最適化は諸悪の根源だ。」という引用句はドナルド・クヌースのものであると考えられる 。クヌース自身はホーアの言葉だと述べているが、ホーア自身はそれを否定している。
また、複雑すぎないソフトウェアシステムを作成する困難さについて次のように述べている。
1995年には独自の考え方を考察している。
2009年のカンファレンスでNull参照を発明したことについて謝罪している。