Loading article…
プログラミング研究グループ（PRG ）は、数値解析グループとともに、 2011年にOUCLがコンピュータサイエンス学科になるまで、イギリスのオックスフォードにあるオックスフォード大学コンピューティング研究所（OUCL）の一部でした。 [ 1 ]
PRGは1965年にクリストファー・ストラッチー（1916年～1975年）[ 2 ]によって設立されました。当初はバンベリー・ロード45番地にありました。[ 3 ]
ストラッチーの早すぎる死後、 1977年にCAR Hoare、FRSがリーダーシップを引き継いだ。[ 4 ] PRGの精神は、トニー・ホーアがPRGに着任後に発見し広めた、ストラッチーの次の言葉に集約されている。
実践的な作業と理論的な作業の分離は人為的で有害であるという私の長年の個人的な見解があります。ソフトウェアとハードウェア設計の両方において、コンピューティングで行われる実践的な作業の多くは、作業を行う人々が作業の基本的な設計原理を明確に理解していないため、不健全で不器用です。抽象的な数学的および理論的な作業のほとんどは、実際のコンピューティングとの接点がないため、不毛です。教育および研究グループとしてのプログラミング研究グループの中心的な目標の1つは、このような分離が起こらない雰囲気を作り出すことです。[ 4 ] [ 5 ]
PRGは1984年にキーブルロード8-11番地に移転した。1980年代後半から1990年代初頭にかけて、PRGのメンバーの一部はサウスパークスロード2番地に拠点を置いており、その中にはジョセフ・ゴーゲン（1988年から1996年までPRGに在籍）も含まれていた。トニー・ホアは1999年に退職し、 2000年からはサムソン・アブラムスキーがPRGを率いた。PRGは、元PRGメンバーのビル・ロスコーのリーダーシップの下、2011年6月1日にオックスフォード大学コンピューティング研究所がコンピュータサイエンス学科に改称されるまで活動を続けた。[ 1 ]
PRGは形式手法の分野における卓越した研究センターであり[ 6 ]、Z記法（ジャン＝レイモンド・アブリアル[ 7 ]の訪問によって開始）とCSP （関連するOccamプログラミング言語とともに）の開発において主導的な役割を果たしました。これらの分野での業績により、IBMおよびInmosとともに2つの女王賞を受賞しました。