ロビンミルナー、完全なアーサージョンロビンゴレルミルナー（1934年1月13日、イギリス、デボン、イーアプトン生まれ— 2010年3月20日、ケンブリッジ、ケンブリッジシャー）、英国のコンピューターサイエンティスト、1991 AMチューリング賞を受賞自動定理証明器、MLコンピュータープログラミング言語、および同時実行の一般理論を使用した彼の研究に対して、コンピューターサイエンスで最高の栄誉。
ミルナーはイートンカレッジに通い、1952年にケンブリッジ大学に通うために奨学金を獲得しましたが、スエズ運河にイギリス軍の王立技術者と共に2年間勤務した間、コースの仕事を延期する必要がありました。ミルナーは1954年にケンブリッジに入り、1957年に数学の学士号を取得して卒業しました。彼は、1956年の夏に学校のEDSACコンピュータを使用するプログラミングの短期コースで初めてコンピュータに触れました。その後、ミルナーはロンドンに移り、メリルボーン文法学校（1959–60）で数学を教えた後、コンピュータープログラマーになり、Ferranti Ltd.でコンパイラーを開発しました（Ferrantiは最初の商用コンピューターを開発しました。 1951年のFerranti MarkI。）
1963年、ミルナーはフェランティを去ってロンドンシティシティ大学で学術的な職に就き、工学部の学生に数学を教え、人工知能（AI）とそのデータベースへの応用に関する研究を始めました。1968年、ミルナーはスウォンジーのウェールズ大学で研究ポジションを受け入れ、そこでプログラムの検証、自動定理証明、および意味論に取り組みました。1971年にミルナーは、スタンフォード大学のAI研究所でジョンマッカーシーと一緒に働くために米国に行きました。ミルナーは1973年にイギリスに戻り、エジンバラ大学の職に就き、自動定理ソルバーを実装するために開発されたコンピュータープログラミング言語であるML（「メタ言語」）の設計を手伝いました。1995年、ミルナーは学校のコンピューターラボの責任者としてケンブリッジに戻りました。彼は2001年に引退しました。
とりわけ、ミルナーはコミュニケーションシステムの計算（1980）、コミュニケーションと並行性（1989）、コミュニケーションとモバイルシステム：パイ計算（1999）、およびコミュニケーションエージェントの空間と動き（2009）の著者です。彼は理論的コンピューターサイエンス、理論的コンピューターサイエンスの研究ノート、コンピューターのフォーマルな側面、およびコンピューターサイエンスの数学的構造の編集者を務め、エジンバラ王立協会のプロシーディングスの編集委員会に所属していました。セクションA、数学。
ミルナーは王立協会（1988）、英国コンピューター協会（1988）、エジンバラ王立協会（1993）、コンピューティング機械協会（1994）、フランス科学アカデミー（2005）、および全米工学アカデミー（2008）。チューナー賞に加えて、ミルナーは英国コンピュータ協会技術賞（1987年）、エジンバラ王立協会ロイヤルゴールドメダル（2004年）、および欧州コンピュータ理論学会功績賞（2005年）を受賞しました。
