ケンブリッジ大学コンピュータサイエンステクノロジー学部

コンピュータサイエンス学科

コンピュータ研究所は、2001 年 8 月からウェストケンブリッジのウィリアムゲイツ ビルに設置されています。
旧名	コンピュータ実験室 数学実験室
設立	1937年5月14日 (14 May 1937)
部門長	アラステア・ベレスフォード教授
教員	35
管理スタッフ	25
大学院生	155
位置	ウィリアム ゲイツ ビルディング、ケンブリッジ 、 イギリス 北緯52°12′40″ 東経0°05′31″ / 北緯52.211° 東経0.092° / 52.211; 0.092
Webサイト	英文

コンピュータサイエンスおよびテクノロジー学部（旧コンピュータ研究所）は、ケンブリッジ大学のコンピュータサイエンス学部です。2023年現在、56人の教員、45人のサポートスタッフ、105人の研究スタッフ、約205人の研究生を雇用しています。^[1]現在の学部長はアラステア・ベレスフォード教授です。 ^[update]

この学科は1937年5月14日にジョン・レナード・ジョーンズの指導の下、数学研究所として設立されたが、第二次世界大戦後まで正式に設立されることはなかった。^{[2]新しい研究所は、}ニューミュージアムサイトにある旧解剖学学校の北棟に設置された。設立当初は、「一般利用のためのコンピューティングサービスを提供し、大学におけるコンピューティング技術の開発の中心となること」を目的としていた。ケンブリッジ大学コンピュータサイエンスのディプロマは、1953年に開始された世界初の大学院レベルのコンピューティングコースであった。^[3]

1946年10月、モーリス・ウィルクスの指揮下でEDSAC（電子遅延記憶自動計算機）の開発が開始され、 1949年5月6日に最初のプログラムが実行され、世界初の完全に機能する実用的なプログラム内蔵型コンピュータとなった。 ^[4]これは世界初の業務用コンピュータLEOの原動力となった。 1958年に、初のマイクロコード化ビットスライスコンピュータであるEDSAC 2に取って代わられた。 ^[5]

1961 年、David Hartley はEDSAC 2用に最初の高水準プログラミング言語の 1 つであるAutocode を開発しました。また、この年には、Ferranti Atlasマシンに基づくTitanの提案も行われました。Titan は 1964 年に完全に運用可能になり、EDSAC 2 は翌年に廃止されました。1967 年、最大 64 人のユーザーを対象とした完全な (「24 時間年中無休」) マルチユーザー タイムシェアリング サービスが Titan で開始されました。

1970 年、数学研究所はコンピュータ研究所に改名され、教育と研究の部門とコンピューティング サービスが別々に設けられ、大学とそのカレッジにコンピューティング サービスを提供しました。2001 年にコンピュータ研究所がウェスト ケンブリッジのマディングリー ロード沿いにある新しいウィリアム ゲイツ ビルに移転し、独立したコンピューティング サービスが残るまで、この 2 つの研究所は完全に分離されませんでした。

2002年、コンピュータ研究所はケンブリッジリングネットワークにちなんで名付けられた大学院生団体、ケンブリッジコンピュータラボリングを設立しました。^[6]

2017年6月30日、ケンブリッジ大学レポーター紙は、コンピュータ研究所がその目的と活動範囲の拡大を反映して、2017年10月1日よりコンピュータ科学技術学部に名称を変更すると発表しました。^[7]

この学科は現在、3年間の学部課程と1年間の修士課程（さまざまな研究分野の専門課程を多数提供）を提供しています。最近の研究は、仮想化、セキュリティ、ユーザビリティ、形式検証、プログラミング言語の形式意味論、コンピュータアーキテクチャ、自然言語処理、モバイルコンピューティング、ワイヤレスネットワーク、生体認証、ロボット工学、ルーティング、測位システム、持続可能性（「地球の未来のためのコンピューティング」 ）に重点を置いています。メンバーは、 Acorn、^[8] ARM、^[9] nCipher、XenSourceなど、多くの成功した英国のIT企業の設立に関わってきました。^{[10] [11]}

2024年現在^[update]、この学科には34名の教授が在籍している。^[12]注目すべき教授としては以下のような人物が挙げられる。

その他の著名なスタッフには、スー・センタンス、ロバート・ワトソン、マルクス・クーンなどがいます。

元スタッフは以下の通りです。

この研究室を率いるのは、以下の人々です。

• 1949モーリス・ウィルクス
• 1980ロジャー・ニーダム
• 1996ロビン・ミルナー
• 1999 イアン・レスリー
• 2004アンディ・ホッパー^[15]
• 2018アン・コープステイク
• 2023 アラスター・ベレスフォード

メンバーは、コンピューター、チューリングマシン、マイクロプログラミング、サブルーチン、コンピューターネットワーク、モバイルプロトコル、セキュリティ、プログラミング言語、カーネル、OS、セキュリティ、仮想化、ロケーションバッジシステムなどに影響を与えてきました。以下にリストを示します。

スタッフや卒業生によって設立された企業は数多くあり、2012年には新しいエントランスにその名前が掲げられた。 ^[23]成功企業の例として挙げられているのは、ARM、Autonomy、Aveva、CSR、Dominoなどである。これらの企業に共通するのは、主要スタッフや設立メンバーが「大学でのトレーニングや研究に没頭している」ことである。^[24]ケンブリッジ・コンピュータ・ラボ・リングは、 2012年に設立10周年記念ディナーでアンディ・ホッパーから「たゆまぬ努力」を称賛された。 ^[25]