ロビン・ミルナー

アーサー・ジョン・ロビン・ゴレル・ミルナー（"Arthur John Robin Gorell Milner" FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。
経歴.
イングランド、プリマス近郊のヤームプトン () で軍人一家に生まれる。1947年、奨学金を得てイートン・カレッジに入学。その後に入隊し、少尉にまで昇進した。そしてキングス・カレッジ (ケンブリッジ大学)に入学し、1957年に卒業後、学校教師となったが、その後フェランティ社でプログラマとして働く。その後学界に転じ、シティ大学ロンドン、、スタンフォード大学などで勤務。1973年からはエディンバラ大学に移り、 (LFCS) の創設に関わった。1995年、ケンブリッジ大学に戻り所長に就任した。所長からは退いたが、その後も同研究所につとめていた。2009年より、SICSA (Scottish Informatics and Computer Science Alliance) のAdvanced Research Fellowと、パートタイムでエディンバラ大学の計算機科学科の学科長をつとめた。
2010年3月20日、ケンブリッジにて心筋梗塞で亡くなった。妻のルーシーはその少し前に亡くなっていた。
業績.
ミルナーの計算機科学における主な業績は3つある。彼は初期の自動定理証明ツールとして を開発した。LCF向けに彼が開発したプログラミング言語MLは、ポリモルフィックな型推論と例外処理を持つ世界初の言語であった。全く異なる分野として、ミルナーは並行システムを解析するための理論的フレームワーク (CCS) や後継の（π計算）を開発した。亡くなる直前まで、、CCSやπ計算を含めたユビキタスコンピューティングの定式化などを研究していた。