マンチェスター大学コンピュータサイエンス学部

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

コンピュータサイエンス学科はオックスフォードロードのキルバーンビルにあります。
以前の名前	コンピュータグループ（1964年まで） コンピュータサイエンス学科（1964–2004） コンピュータサイエンス学部（2004～2019年）
設立	1964年、歴史は1947年に遡る[ 1 ]
部門長	アンドリュー・スチュワート
学生	約800
位置	マンチェスター 、 イングランド 北緯53度28分03秒、西経2度14分03秒 / 北緯53.4676度、西経2.2343度 / 53.4676; -2.2343
知られている	マンチェスターベイビーマンチェスターコンピュータ 仮想記憶マンチェスターコードAMULETマイクロプロセッサSpiNNaker Apache Taverna Vampire（定理証明器）
所属	マンチェスター大学工学・物理科学部
Webサイト	cs .マンチェスター.ac .uk

イングランド、マンチェスター大学のコンピュータサイエンス学科は、英国で最も長い歴史を持つコンピュータサイエンス学科であり、規模も最大級です。オックスフォード・ロードのキルバーン・ビルに位置し、現在800名以上の学生が学部および大学院の幅広いコースを履修し、60名の専任教員が勤務しています。^{[ 2 ]}

教育と研究

スティーブ・ファーバー 教授（FRS FREng）は、 SpiNNakerと人間の脳プロジェクトに取り組んでいます。

キャロル・ゴブルCBE FREngはコンピュータサイエンスの教授です。

ロバート・スティーブンス教授は2016年から学部長を務めています。

ウルリケ・サトラー教授の研究は知識表現と推論を研究している

アラン・チューリングは、コンピュータサイエンス学科の前身であるコンピューティング研究所の副所長であった。

学部

現在、当学科では理学士（BSc）、工学士（BEng）、工学修士（MEng）など、幅広い学部課程を提供しています。^{[ 3 ]}これらの課程は、人工知能、コンピュータサイエンス、コンピュータシステム工学、ソフトウェア工学、数学、インターネットコンピューティング、ビジネスアプリケーション、マネジメントといった分野において、単独優等学位または共同優等学位として取得可能です。また、すべての学部課程において、企業実習が提供されています。^{[ 3 ]}

大学院生

大学院レベルでは、上級レベルおよび基礎コースで理学修士号（MSc）を取得できます。 ^{[ 4 ]}研究学位、哲学博士号（PhD）および哲学修士号（MPhil）は、英国初のコンピュータサイエンス博士課程センターを通じて3年および4年のプログラムとして取得できます。 ^{[ 5 ]}

著名な教員

著名な教員には次のような方々が含まれます。

• アンディ・ブラス
• ジャック・ドンガラ
• スティーブ・ファーバー
• キャロル・ゴブル
• トビー・ハワード
• ノーマン・パトン
• スティーブ・ペティファー
• ウルリケ・サトラー
• ロバート・スティーブンス
• クリス・J・テイラー^{[ 6 ]}
• アンドレイ・ヴォロンコフ

同校は9つの異なる研究グループに分かれており、欧州連合、工学・物理科学研究会議、バイオテクノロジー・生物科学研究会議など幅広い資金源から資金提供を受けている。

高度なプロセッサテクノロジー

先端プロセッサ技術（APT）グループは、スティーブ・ファーバー教授が率いる、処理と計算に対する先進的かつ斬新なアプローチを研究しています。新しいプロジェクトには、SpiNNaker、トランザクショナルメモリ、TERAFLUXなどがあります。^{[ 7 ]}グループの学術スタッフには、ジム・ガーサイド博士、デビッド・レスター博士、ミケル・ルジャン博士、ジョン・V・ウッズ博士、ハビエル・ナバリダス博士、ヴァシリス・パブリディス博士、ダーク・コッホ博士、バリー・チーサム研究員がいます。^{[ 7 ] [ 8 ]}過去の研究プロジェクトには、ジャマイカ、AMULETマイクロプロセッサ、ネットワーク・オン・チップ、非同期デジタル信号プロセッサ、システム・オン・チップなどがあります。

バイオヘルスインフォマティクス

バイオヘルス・インフォマティクス・グループ（BHIG）は、分子生物学への応用から臨床eサイエンス、ヘルスケアへの応用に至るまで、バイオインフォマティクスとヘルスインフォマティクスの研究を行っています。同グループの教員には、アンディ・ブラス教授とロバート・スティーブンス教授がいます。^{[ 9 ]}

形式手法

形式手法グループは、計算行動に関する新しい数学の開発から、システム設計および検証手法の研究・開発まで、非常に幅広い分野に取り組んでいます。世界チャンピオンのヴァンパイアを含む、論理の自動化に特化した大規模なグループがあります。このグループは、マイケル・フィッシャー教授（コンピュータ科学者）が率いており、ピーター・アチェル教授、アンドレイ・ヴォロンコフ教授、ハワード・バリンジャー教授^{[ 10 ]}をはじめ、12名以上のスタッフと多数の研究生が所属しています。 ^{[ 11 ]}

情報管理

情報管理グループ（IMG）^{[ 12 ]}は、データおよび知識管理システムの設計、開発、利用に関する基礎研究と応用研究を行っています。こうした研究活動は、アルゴリズム、技術、アーキテクチャに関する活動の基盤となるモデルや言語に関する基礎研究を含め、性質も範囲も幅広いです。特にセマンティックウェブやeサイエンスといった挑戦的なアプリケーションがこの研究の動機付けとなり、その妥当性を検証しています。最近の研究例としては、Protégé、Utopia Documents、myGrid、Taverna workbench、myExperiment、Open PHACTSなどがあります。グループの学術スタッフには、Carole Goble CBE教授、Norman Paton教授、 Ulrike Sattler教授、 Robert Stevens教授、Sean Bechhofer、Suzanne Embury 、 Simon Harper、Caroline Jay、Bijan Parsia、Rizos Sakelloirou、Sandra Sampaio、Ning Zhangなどがいます。^{[ 12 ]}

機械学習と最適化

機械学習・最適化（MLO）グループ^{[ 13 ]}は、機械学習、最適化、データマイニング、確率モデル、パターン認識、機械知覚の幅広い技術と応用について研究を行っています。学術スタッフには、ジョン・シャピロ（グループリーダー）^{[ 14 ]} 、ギャビン・ブラウン、ケ・チェン、リチャード・ネヴィル^{[ 15 ]}、シャオジュン・ゼンが含まれます。

ナノエンジニアリングとストレージ技術

ナノエンジニアリングおよびストレージ技術（NEST）グループは、データストレージおよび高度なセンサーアプリケーションのためのナノファブリケーション、ならびにデータストレージシステム全般の研究に関心を持っています。NESTグループは、スタッフオフィス、多目的実験室、クラス100/1000のクリーンルームが統合されたスイートに収容されており、アンドレ・ガイムとコンスタンチン・ノボセロフによるノーベル賞受賞の画期的なグラフェン研究が行われたマンチェスターメソサイエンスおよびナノテクノロジーセンターの創設メンバーです。このグループはトーマス・トムソン教授が率いており、^{[ 16 ]}ジム・マイルズ教授、アーニー・W・ヒル、ミラン・ミハイロビッチ、ポール・W・ナッターなどの 学術スタッフが含まれています。

ソフトウェアシステム

ソフトウェアシステムグループ^{[ 17 ]}は、ソフトウェア工学とパフォーマンス工学の両面で最先端の技術に挑戦するミッションクリティカルなシステムの設計、モデリング、シミュレーション、構築に取り組んでいます。このようなシステムは基本的に物理的に分散したコンポーネントサブシステムで構成され、大規模なデータ空間と高い計算能力を特徴とし、コンポーネント間の複雑な相互作用を伴います。学術スタッフには、ジョン・キーン教授^{[ 18 ]} 、クン・キウ・ラウ、リピン・チャオ、グラハム・ライリー^{[ 17 ]がいます。}

テキストマイニング

テキストマイニンググループ^{[ 19 ]}は、特にバイオインフォマティクス分野において、非構造化テキストから有用な情報や知識を抽出する研究を行っています。また、自然言語処理（NLP）の研究も行っており、国立テキストマイニングセンターを運営しています。グループはソフィア・アナニアドゥ教授^{[ 20 ]}が率いており、辻井淳一教授、ジョン・マクノート（退職）、ゴラン・ネナディックといった学術メンバーが参加しています。^{[ 19 ]}

高度なインターフェース

アドバンスト・インターフェース・グループ（AIG）^{[ 21 ]}は、仮想環境、協調可視化システム、コンピュータビジョンの研究を行っています。このグループはスティーブ・ペティファー^{[ 22 ]}が率いており、アフロディーテ・ガラタ、トビー・ハワード（名誉会員）、ティム・モリスといった学術スタッフで構成されています。研究プロジェクトにはUTOPIAソフトウェアが含まれています。

イメージングサイエンス

イメージングサイエンスは、イメージング物理学、画像処理、コンピュータービジョン、そして医療におけるイメージングバイオマーカーの開発と応用に焦点を当てた研究部門であるイメージングサイエンスセンターの一部です。このグループ^{[ 23 ]}は、クリス・J・テイラー教授^{[ 6 ] [ 24 ]}が医学部と共同で運営しています。^{[ 23 ]}このグループにはティム・クーツ教授も含まれています。^{[ 25 ]}

管理

この学校（および学部）は、1964 年の設立以来、 10 人の学部長によって運営されてきました。

学部長／学科長

コンピュータサイエンス学科（2018年にコンピュータサイエンス学部はコンピュータサイエンス学科に改組されました）は、

1. アンドリュー・J・スチュワート（2022年よ​​り）

コンピュータサイエンス学部（2004～2018年）は

1. ロバート・スティーブンス2016–2022
2. ジム・マイルズ2011–2016
3. ノーマン・パトン2008–2011
4. クリス・テイラー 2004–2008

UMISTとの合併以前は、コンピュータサイエンス学部はコンピュータサイエンス学科でした。運営は

1. スティーブ・ファーバー2001–2004
2. ブライアン・ウォーボーイズ1996–2001
3. ハワード・バリンジャー 1991–1996
4. ジョン・ガード 1987–1991
5. ダイ・エドワーズ1980–1987 ^{[ 26 ] [ 27 ]}
6. トム・キルバーン1964–1980 ^{[ 28 ] [ 29 ]}

歴史

この学校は、ビクトリア大学マンチェスター校の電気工学部のコンピュータグループを起源としています。コンピュータグループは、 1946年にフレディ・ウィリアムズが電気工学部に異動したことをきっかけに設立されました。 ^{[ 30 ]} 1964年の設立当時、コンピュータサイエンス部は英国で最初の学部であり、トム・キルバーン教授が1980年まで学部長を務めました。2001年5月1日、同年にキルバーンが死去した後、コンピュータ棟は彼に敬意を表してキルバーン棟と改名されました。^{[ 31 ]}コンピュータサイエンス学部は、 2004年にビクトリア大学マンチェスター校とUMISTが合併してマンチェスター大学が設立されたときに、学部から設立されました。2019年に学部から学科に戻りました。グループ/学校/学科は、次の業績で注目に値します。

• 世界初の電子式プログラム記憶式デジタルコンピュータ（マンチェスターベイビー）
• ページングを使用した仮想メモリ（Atlas Computerを参照）
• マンチェスター符号化
• AMULETマイクロプロセッサシリーズ ( ARMコンピュータ アーキテクチャの非同期実装)

学校の歴史も参照してください。^{[ 1 ]}以下の卒業生は学校のスタッフとして活躍しています。

卒業生および名誉教授

本校および学科には、次のような著名な卒業生や名誉教授が数多くいます。

• ビクトリア・スタヴリドゥ・コールマン、アメリカ空軍主任科学者
• テリー・アトウッド名誉教授
• アラン・レクトール名誉教授
• ロジャー・ハボルド名誉教授^{[ 32 ]}
• ジム・マイルズ（引退）
• アラン・M・ラムゼイ（引退）
• イアン・ホロックス、オックスフォード大学コンピュータサイエンス教授
• ヒラリー・カーン、コンピュータサイエンス学部教授^{[ 33 ]}
• トム・キルバーン^{[ 34 ]}コンピュータサイエンス学部の初代学部長
• ジョシュア・ノウルズ、バーミンガム大学教授
• Pedro Mendes, Professor at the University of Connecticut Health Center
• Magnus Rattray, Professor of Computational and Systems Biology in the School of Biological Sciences^[35]
• Neil Lawrence, DeepMind Professor of machine learning at the University of Cambridge
• Alan Turing was deputy director of the computing laboratory and a Reader in the Mathematics Department
• Brian Warboys, Professor
• David Bree, Emeritus Professor of Artificial Intelligence^[36]
• Freddie Williams^[37]
• Simon Lavington^[38][39]
• Geoff Tootill^[40]
• Nandini Mukherjee
• Ross D. King, creator of Robot Scientist, Department of Chemical Engineering and Biotechnology, University of Cambridge^[41]
• Ian Watson, and Emeritus Professor
• Alasdair Rawsthorne^[42][43]
• Simon Segars CEO of Arm Ltd.^[44]
• Bonamy Grimes, co-founder of Skyscanner
• Gareth Williams, co-founder of Skyscanner
• Jon Andrews, vice president at Apple Inc^[45]

References

1. "History (School of Computer Science - the University of Manchester)". Archived from the original on 2 January 2008. Retrieved 30 January 2008.
2. "Department of Computer Science - The University of Manchester". www.cs.manchester.ac.uk.
3. "Undergraduate Studies (School of Computer Science - The University of Manchester)". Retrieved 24 July 2012.
4. "Postgraduate (School of Computer Science - the University of Manchester)". Archived from the original on 20 July 2012. Retrieved 24 July 2012.
5. "Manchester Centre for Doctoral Training in Computer Science". Archived from the original on 6 December 2016. Retrieved 25 July 2012.
6. Anon (2017). "Taylor, Prof. Christopher John". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U249522.(Subscription or UK public library membership required.)
7. "Research Groups: APT - Advanced Processor Technologies (School of Computer Science - The University of Manchester)". Archived from the original on 30 July 2012. Retrieved 24 July 2012.
8. "Prof Ian Watson (BSc PhD FBCS CEng CITP), research profile - personal details (The University of Manchester)". Archived from the original on 12 April 2008.
9. "Bio-Health informatics Group Home". Retrieved 24 July 2012.
10. http://www.manchester.ac.uk/research/Howard.barringer/ Prof Howard Barringer - personal details
11. "Foundations and formal methods (School of Computer Science - The University of Manchester)". Archived from the original on 29 March 2012. Retrieved 24 July 2012.
12. "Information Management". School of Computer Science. University of Manchester. Retrieved 28 January 2015.
13. "mlo.cs.man.ac.uk". Retrieved 24 July 2012.
14. "Jonathan L. Shapiro Homepage". Retrieved 24 July 2012.
15. "Dr Richard Neville ( PhD, MSc, BSc, MIET (MIEE), CEng, MIEEE, IEEE CS, MINNS, MENNS, & MIEEE CIS (MIEEE NNS), Inventor ), research profile - personal details (The University of Manchester)". 11 April 2008. Archived from the original on 11 April 2008.
16. "Prof Thomas Thomson | The University of Manchester". www.research.manchester.ac.uk.
17. "Research Groups: Software Systems Group (School of Computer Science - The University of Manchester)". Archived from the original on 10 May 2012. Retrieved 24 July 2012.
18. "Prof John Keane, research profile - personal details (The University of Manchester)". Archived from the original on 4 October 2008.
19. 「Information Systems (School of Computer Science - The University of Manchester)」 。 2012年5月29日時点のオリジナルよりアーカイブ。 2012年7月24日閲覧。
20. 「ソフィア・アナニアドゥ教授 | マンチェスター大学」www.research.manchester.ac.uk。
21. 「Advanced Interfaces Group」 。 2004年7月30日時点のオリジナルよりアーカイブ。2012年7月24日閲覧。
22. “Dr. Steve Pettifer” . 2013年8月30日時点のオリジナルよりアーカイブ。2012年7月24日閲覧。
23. 「Imaging Sciences (Imaging Sciences Research - University of Manchester)」2012年7月25日閲覧。
24. “Professor Chris J. Taylor FREng, OBE” . 2012年12月23日時点のオリジナルよりアーカイブ。2012年6月8日閲覧。
25. 「ティム・クーツ：概要」 . personalpages.manchester.ac.uk .
26. Anon (2010). 「Dai Edwards: チューリングのManchester Mark 1利用を支援」 www.bl.uk .大英図書館. 2016年12月20日時点のオリジナルよりアーカイブ。 2016年8月8日閲覧。
27. Anon (2014). 「科学の声：デイヴィッド・“ダイ”・エドワーズ。1928年生まれ、デイヴィッド・ベヴァリー・ジョージ・エドワーズ」。www.bl.uk。大英図書館。 2014年1月16日時点のオリジナルよりアーカイブ。
28. Kilburn, T. (1951). 「マンチェスター大学の新型汎用デジタル計算機」. Nature . 168 (4264): 95–96 . Bibcode : 1951Natur.168...95K . doi : 10.1038/168095a0 . S2CID 4216071 . 
29. ラヴィントン、サイモン (2001). 「訃報：トム・キルバーン（1921–2001）」 . Nature . 409 ( 6823): 996. Bibcode : 2001Natur.409..996L . doi : 10.1038/35059201 . PMID 11241994. S2CID 6971607 .  
30. 「マンチェスター大学、現代コンピュータの誕生を祝う」 computer50.org 。 2012年5月4日時点のオリジナルよりアーカイブ。
31. Hull, Duncan (2007). 「トム・キルバーン」 . flickr.com . Flickr .
32. “アーカイブコピー” . 2013年6月26日時点のオリジナルよりアーカイブ。2012年6月8日閲覧。ロジャー・ハボルド教授のホームページ
33. 「ヒラリー・カーン教授（1943-2007）」digital60.org .
34. カーン、ヒラリー・J. (2004). 「トム・キルバーン（1921–2001）コンピューター科学者」.オックスフォード国立人名辞典（オンライン版）. オックスフォード大学出版局. doi : 10.1093/ref:odnb/55314 .(定期購読、Wikipedia ライブラリへのアクセス、または英国の公共図書館の会員資格が必要です。)
35. 「マグナス・ラットレー教授 | マンチェスター大学」www.research.manchester.ac.uk。
36. 「デイビッド・ブリー」 . www.cs.man.ac.uk.
37. キルバーン, T. ; ピゴット, LS (1978). 「フレデリック・キャランド・ウィリアムズ. 1911年6月26日-1977年8月11日」.王立協会フェロー伝記. 24 : 583–604 . doi : 10.1098/rsbm.1978.0020 .
38. ラヴィントン、サイモン・H. (1978). 「マンチェスター・マークIと地図帳：歴史的視点」 . Communications of the ACM . 21 (1): 4– 12. doi : 10.1145/359327.359331 . S2CID 10301670 . 
39. Simon Lavington の出版物はScopus書誌データベースに索引付けされています。 (購読が必要)
40. 「ジェフ・トゥーティル：1922年ランカシャー州生まれ、イギリス」 www.bl.uk大英図書館2020年5月29日時点のオリジナルよりアーカイブ。 2016年8月8日閲覧。
41. キング、ロス (2020年7月13日). 「ロス・キング教授」 . www.ceb.cam.ac.uk.
42. 「Alasdair RAWSTHORNE born May 1953」 . companieshouse.gov.uk . ロンドン: Companies House . 2016年8月3日時点のオリジナルよりアーカイブ。
43. “Alasdair Rawsthorne” . 2010年11月28日時点のオリジナルよりアーカイブ。
44. Segars, Simon Anthony (1996).低電力マイクロプロセッサ設計(修士論文). マンチェスター大学. OCLC 643624237 . Copac 36604476 .  
45. 「Apple、複数の上級ディレクターを副社長に昇進」MacRumors。