オックスフォード大学コンピュータサイエンス学部

ウルフソンビル コンピュータサイエンス学部
旧名	オックスフォード大学コンピューティング研究所
設立	1957 （1957年）
研究の種類	部門
部門長	レスリー・アン・ゴールドバーグ
学生	871
位置	オックスフォード、イギリス 51°45′35″N 1°15′30″W / 51.7597°N 1.2584°W / 51.7597; -1.2584
運営機関	オックスフォード大学
Webサイト	英文
地図
オックスフォード市内中心部に位置します

コンピュータサイエンス学科は、イギリスのオックスフォード大学のコンピュータサイエンス学科であり、大学の数学、物理、生命科学部門の一部です。1957年にコンピューティング研究所として設立されました。2014年までに、スタッフ数は52人の学術スタッフと80人以上の研究スタッフになりました。2019年、2020年、2021年のタイムズ世界大学分野別ランキングでは、オックスフォード大学はコンピュータサイエンスで世界第1位にランクされています。^{[1]オックスフォード大学は、} Business Insiderによると、英国とヨーロッパでコンピュータサイエンスのトップ大学でもあります。^[2] 2020年のQS大学分野別ランキングでは、オックスフォード大学はコンピュータサイエンスで世界第5位（ケンブリッジ大学は6位）にランクされています。^[3]

創設当初から、この学科は学部生に数学と工学の学位取得のための読解を教えていましたが、1985年に学科初の学部課程「数学と計算」が開設され、続いて1994年に「計算」課程が開設されました。^[4]当初、これら2つの課程の1年目は共通でした。^[5] 2000年に学習を開始する学生からは、両課程の名称で「計算」が「コンピュータサイエンス」に置き換えられました。 ^[6] 1987年から2006年の間に、学生は4年間の（学部）工学および計算科学のMEng（現在は廃止）の学習を開始しました。^{[4] [7] [8] [9] [10]} 2012年10月に、「コンピュータサイエンスと哲学」の最初の学生がスタートしました。現在、^[定量化] 3つの学部課程（「コンピュータサイエンス」、「数学とコンピュータサイエンス」、「コンピュータサイエンスと哲学」）の学生は、3年間のBAまたは4年間の「学部修士課程」のいずれかを選択できます。^[11] 2013年10月には、60人の学生が3つの学部課程のいずれかを開始しました。 ^[12]

フルタイムで教えられる大学院コースは 2 つあります。コンピュータ サイエンスの修士課程 (合計約 50 名) と、数学およびコンピュータ サイエンスの基礎 (MFoCS) の修士課程 (合計約 15 名) です。^{[引用が必要]}

この学科では、業界の専門家向けのモジュールコースであるパー​​トタイムのソフトウェアエンジニアリングプログラムも提供しており、ソフトウェアエンジニアリングの修士号（現在約240名）またはソフトウェアとシステムセキュリティの修士号（現在約45名）を取得できます。^[13]

この学科には約145人の学術研究スタッフが在籍しています。^[13] この学科の博士課程には140人以上の研究生（オックスフォード大学の博士号取得を目指す学生）がおり、コンピュータサイエンスとソフトウェアエンジニアリングの幅広い分野で研究を行っています。^[要出典]

数値解析グループは50年間部門内で活動した後、2009年に大学の数学研究所の一部となりました。^{[14] [15]現在、}部門^の研究は10の幅広いテーマに分類されています。^[16]

• アルゴリズムと複雑性理論
• 人工知能と機械学習
• 自動検証
• 計算生物学と健康情報科学
• サイバーフィジカルシステム
• 基礎、構造、量子
• 人間中心のコンピューティング
• 情報システム
• プログラミング言語
• 安全

2015年現在、^{[アップデート]}この学科には36名の教授が雇用されており、^[17]以下がその例である。

• ナイジェル・シャドボルト、コンピューティング教授
• サムソン・アブラムスキー、クリストファー・ストラチーコンピューティング教授（2021年現在^{[アップデート]}、名誉教授）
• ティム・バーナーズ＝リー、コンピュータサイエンス教授
• リチャード・バード名誉教授
• ルカ・カーデッリ、王立協会研究教授
• ボブ・コエケ、量子基礎、論理、構造教授
• ナンド・デ・フレイタス、コンピュータサイエンス教授
• デイビッド・ガヴァガン、計算生物学教授
• ジェレミー・ギボンズ、コンピューティング教授
• レスリー・アン・ゴールドバーグ、コンピュータサイエンス教授
• ゲオルク・ゴットロブ、情報学教授
• トニー・ホーア名誉教授
• イアン・ホロックス、コンピュータサイエンス教授
• ダニエル・クローニング、コンピュータサイエンス教授
• Marta Kwiatkowska氏、コンピューティング システム教授
• ギャビン・ロウ、コンピュータサイエンス教授
• ビル・ロスコー、コンピュータサイエンス教授
• マイケル・ウールドリッジ、コンピュータサイエンス教授
• マリーナ・イロトカ、人間中心コンピューティング教授

1952年から、数学者チャールズ・コールソン^[18]はオックスフォード大学が独自のコンピュータを所有するための資金を募りました。^[4]当時、大学関係者は他所からコンピュータを借りなければなりませんでした。^[4] 1956年に大学助成委員会はフェランティ・マーキュリーの購入資金を決定し、オックスフォード大学コンピューティング研究所^[4]（略してOUCLまたはComlab ）が誕生しました。学内の他の場所での研究を促進するだけでなく、新しい部門は数値解析の研究を行い、数学と工学の学生に講義を行うという独自の学術機能を持っていました。^[19]初代所長のレスリー・フォックス[ ^{20] [21]}は1957年に任命され、翌年、部門は最初の本拠地であるサウスパークスロード9番地に移転しました。^[19] 1963年に部門はパークスロード19番地に移転しました。^[22]コンピューティングサービス（2012年からITサービスの一部）は1969年に学術部門から管理上分離されましたが、^[23]完全な独立は1978年に達成されました。^[24]

数値解析グループ (NAG) を補完するものとして、プログラミング研究グループ(PRG) が 1966 年に 45 Banbury Roadに設立されました。その目的は、 Christopher Strachey ^[25]のリーダーシップの下、「プログラミングとソフトウェアの現在のアドホックな性質に何らかの一貫性をもたらすこと」でした。^[26] Strachey が 1975 年に早すぎる死を迎えた後、Tony Hoare が1977 年から PRG のリーダーシップを引き継ぎ、1999 年に引退し、オックスフォード大学にコンピューターサイエンスの学部課程を導入しました。NAG グループと PRG グループは、1984 年に研究所の両方の研究グループがKeble College の向かいにあるKeble Road 8-11 に移転するまで、ほとんど別々に運営されていました。^[14]しかし、研究所はすぐにこのスペースが手狭になり、2 South Parks Road のスペースを占有しました。^{[27]その後、1993 年に、Keble Road 8-11 の}ビクトリア朝の住宅の後ろに Wolfson Building がオープンしました。^[14] 2007年の開館時には、キーブルロード5-7番地の近隣住宅と、その背後にある新しい「eサイエンスビル」が追加のスペースを提供しました。^[28]しかし、このスペースは十分ではなく、部門はトムビルとロバートフックビル内に追加のスペースを持っています。2014年現在、部門はすべての活動を集約できるほどの大きさの新しい建物の資金を獲得したいと考えています。^[29]

2003年から2014年まで、この部門はビル・ロスコーが率いており、2011年にオックスフォード大学コンピューティング研究所からオックスフォード大学コンピューターサイエンス学部への改名を監督した。^[14]現在の責任者はレスリー・アン・ゴールドバーグである。^[14]

• 過去および現在の部門メンバー
• オックスフォード大学コンピューティングサービス
• プログラミング研究グループ

• ウィキメディア・コモンズにあるオックスフォード大学コンピュータサイエンス学部に関連するメディア