Бывшие имена |
|
---|---|
Учредил | 1964 год, история восходит к 1947 году [1] |
Начальник отдела | Роберт Стивенс |
Студенты | ~ 800 |
Место расположения | , Координаты : 53.4676 ° N 2.2343 ° W53 ° 28′03 ″ с.ш., 2 ° 14′03 ″ з.д. / |
Известен | Manchester Baby Манчестерские компьютеры Виртуальная память Манчестерский код Микропроцессор AMULET SpiNNaker Apache Taverna Vampire (средство доказательства теорем) |
Принадлежности | Факультет инженерных и физических наук , Университет Манчестера |
Веб-сайт | CS. |
Факультет компьютерных наук в Университете Манчестера является старейшим отделом вычислительной техники в Великобритании и один из крупнейших. Он расположен в здании Килберн (и прилегающем здании ИТ) на Оксфорд-роуд и в настоящее время [ когда? ] насчитывает более 800 студентов, обучающихся на различных курсах бакалавриата и магистратуры, и 60 преподавателей, работающих полный рабочий день . [2]
Преподавание и учеба [ править ]
Бакалавриат [ править ]
Департамент в настоящее время [ когда? ] предлагает широкий выбор программ бакалавриата, от бакалавра наук (BSc) , бакалавра технических наук (BEng) до магистра инженерных наук (MEng) . [3] Они доступны в виде отдельных почестей или совместные дипломы с отличием в рамках темы искусственного интеллекта , информатики , компьютерных систем , Разработка программного обеспечения , математики , интернет - вычислений , бизнес - приложений иУправление . Производственные стажировки предлагаются на всех курсах бакалавриата. [3]
Аспирант [ править ]
На уровне аспирантуры кафедра предлагает преподаваемые степени магистра наук (MSc) на продвинутом уровне, а также через базовый курс. [4] Научные степени, доктор философии (PhD) и магистр философии (MPhil) доступны в рамках трех- и четырехлетних программ в Центре подготовки докторантов в области компьютерных наук, первом в своем роде в Великобритании. [5]
Известный академический персонал [ править ]
Известный академический персонал включает:
- Энди Брасс
- Джек Донгарра
- Стив Фербер CBE FRS FREng
- Кэрол Гобл CBE FREng
- Тоби Ховард
- Норман Патон
- Стив Петтифер
- Ульрике Саттлер
- Роберт Стивенс
- Крис Дж. Тейлор OBE FREng [6]
- Андрей Воронков
Школа состоит из девяти различных исследовательских групп, которые получали финансирование из самых разных источников, включая Европейский Союз , Совет по исследованиям в области инженерных и физических наук и Совет по исследованиям в области биотехнологии и биологических наук .
Передовые процессорные технологии [ править ]
Группа Advanced Processor Technologies (APT) исследует передовые и новые подходы к обработке и вычислениям и возглавляется профессором Стивом Фербером . Новые проекты включают SpiNNaker , Transactional Memory и TERAFLUX. [7] В состав группы входят д-р Джим Гарсайд, д-р Дэвид Лестер, д-р Микель Лухан
, д-р Джон В. Вудс, д-р Хавьер Наваридас, д-р Василис Павлидис, д-р Дирк Кох и научный сотрудник Барри Читам. [7] [8] Прошлые исследовательские проекты включают Ямайку, микропроцессор AMULET , сеть на кристалле , асинхронные цифровые сигнальные процессоры иСистема на микросхеме .Биологическая информатика здоровья [ править ]
Группа биотехнологической информатики (BHIG) проводит исследования в области биоинформатики и медицинской информатики, начиная от приложений в молекулярной биологии и заканчивая клиническими электронными науками и медицинскими приложениями. В состав группы входят профессор Энди Брасс и Роберт Стивенс . [9]
Формальные методы [ править ]
Группа « Формальные методы » имеет очень широкий круг интересов - от разработки новой математики вычислительного поведения до изучения и разработки методов проектирования и проверки систем. Есть большая группа, занимающаяся автоматизацией логики, в том числе чемпион мира по вампиру . Группу возглавляет профессор Майкл Фишер (специалист по информатике)
и включает в себя профессора Питера Акзеля , профессора Андрея Воронкова , профессора Ховарда Барринджера [10], а также более десятка сотрудников и большое количество студентов-исследователей. [11]Управление информацией [ править ]
Группа управления информацией (IMG) [12] занимается базовым и прикладным проектированием, разработкой и использованием систем управления данными и знаниями . Такие исследования носят широкий характер, а также охват, включая фундаментальные исследования моделей и языков, которые лежат в основе деятельности по алгоритмам, технологиям и архитектурам. Сложные приложения мотивируют и подтверждают эти исследования, в частности, Семантическая сеть и электронная наука . Примеры недавних исследований: Protégé , Utopia Documents , myGrid , Taverna workbench , myExperiment , Open PHACTS.. Академический персонал в группе включает профессора Кэрол Гобл CBE, профессора Нормана Патона , профессора Ульрике Саттлер , профессора Роберта Стивенса , Шона Бечхофера
, Сюзанну Эмбури , Саймона Харпера, Кэролайн Джей , Биджан Парсия , Rizos Сакеллоиру, Сандра Сампайо и Нин Чжан. [12]Машинное обучение и оптимизация [ править ]
Группа машинного обучения и оптимизации (MLO) [13] проводит ведущие в мире исследования широкого спектра методов и приложений машинного обучения , оптимизации, интеллектуального анализа данных , вероятностного моделирования , распознавания образов и машинного восприятия . В число академических сотрудников входят Джон Шапиро (руководитель группы) [14], Гэвин Браун, Кэ Чен, Ричард Невилл [15] и Сяоцзюнь Цзэн.
Нанотехника и технологии хранения [ править ]
Группа Nano Engineering and Storage Technologies (NEST) занимается исследованиями в области нанопроизводства для хранения данных и передовых сенсорных приложений, а также в исследованиях систем хранения данных в целом. Группа NEST размещается в интегрированном наборе офисов для персонала, лабораторных помещениях общего назначения и чистых помещениях класса 100/1000 и является одним из основателей Манчестерского центра мезонауки и нанотехнологий, где проводятся новаторские работы по графену , получившие Нобелевскую премию. по Андре Гейм и Константин Новоселов был проведен. Группу возглавляет профессор Томас Томсон, [16]Среди академических сотрудников профессор Джим Майлз , Эрни У. Хилл, Милан Михайлович и Пол В. Наттер.
Программные системы [ править ]
Группа Software Systems [17] занимается проектированием, моделированием, моделированием и построением критически важных систем, которые бросают вызов самым современным достижениям как в разработке программного обеспечения, так и в области проектирования производительности . Такие системы в основном состоят из физически распределенных подсистем компонентов и характеризуются большими пространствами данных и высокими потребностями в вычислениях с соответствующими сложными взаимодействиями между компонентами. Среди академических сотрудников профессор Джон Кин, [18] Кунг-Киу Лау, Липин Чжао и Грэм Райли. [17]
Text Mining [ править ]
Text Mining группа [19] проводит исследования для извлечения полезной информации и знаний из неструктурированного текста , в частности , в области биоинформатики . Группа также проводит исследования в области обработки естественного языка (NLP) и размещает Национальный центр интеллектуального анализа текста . Группу возглавляет профессор София Ананиаду [20], в нее входят академические члены профессор Дзюнъити Цуджи , Джон Макнот (в отставке) и Горан Ненадич
. [19]Расширенные интерфейсы [ править ]
Advanced Interfaces Group (AIG) [21] исследует виртуальные среды , системы совместной визуализации и компьютерное зрение . Группу возглавляет Стив Петтифер [22], в нее входят преподаватели Афродита Галата, Тоби Ховард (почетный читатель), Тим Моррис. Исследовательские проекты включают программное обеспечение UTOPIA .
Imaging Science [ править ]
В науки визуализации является частью Центра обработки изображений РАН, научно - исследовательского отдела мирового класса с упором на физику визуализации, обработки изображений, компьютерного зрения, а также разработка и применение биомаркеров визуализации в здравоохранении. Группой [23] руководит профессор Крис Дж. Тейлор
[6] [24] совместно со Школой медицины . [23] В группу входит профессор Тим Кутс. [25]Управление [ править ]
С момента основания в 1964 году школой (и отделением) руководят десять разных руководителей школ .
Директора школ [ править ]
Школой руководит
- Роберт Стивенс с 2016 года по настоящее время
- Джим Майлз с 2011 по 2016 год
- Норман Патон 2008–2011
- Крис Тейлор 2004–2008 [ необходима ссылка ]
Начальники отделов [ править ]
До слияния с UMIST Школа компьютерных наук была кафедрой компьютерных наук.
- Стив Фербер 2001–2004 гг.
- Брайан Варбойз 1996–2001
- Ховард Барринджер 1991–1996
- Джон Гурд 1987–1991
- Дай Эдвардс 1980–1987 [26] [27]
- Том Килберн CBE FRS 1964–1980 [28] [29]
История [ править ]
Школа берет свое начало в компьютерной группе факультета электротехники Университета Виктории в Манчестере . Компьютерная группа была создана после того, как Фредди Уильямс перешел на кафедру электротехники в 1946 году. [30] При ее создании в 1964 году Департамент компьютерных наук был первым таким отделом в Соединенном Королевстве с профессором Томом Килбурном, который возглавлял его. Департамента до 1980 года. 1 мая 2001 года, после смерти Килберна в том же году, Компьютерное здание было переименовано в здание Килбурна в его честь. [31]Школа компьютерных наук была образована из кафедры, когда Манчестерский университет Виктории и UMIST объединились в Манчестерский университет в 2004 году. В 2019 году она снова превратилась из школы в кафедру. Группа / школа / кафедра примечательны следующим достижения:
- Первый в мире электронный цифровой компьютер с хранимой программой ( Manchester Baby )
- Виртуальная память с использованием подкачки (см. Atlas Computer )
- Манчестерское кодирование
- Серия микропроцессоров AMULET ( асинхронные реализации компьютерной архитектуры ARM )
См. Также Историю школы. [1] Следующие выпускники были сотрудниками школы
Выпускники и почетные звания [ править ]
В школе и отделении есть несколько известных выпускников и почетных сотрудников, в том числе:
- Терри Эттвуд , заслуженный профессор
- Алан Ректор , заслуженный профессор
- Роджер Хаббольд. Заслуженный профессор [32]
- Джим Майлз (на пенсии) [ когда? ]
- Аллан М. Рамзи (на пенсии) [ когда? ]
- Ян Хоррокс , FRS , профессор компьютерных наук в Университете Оксфорда
- Хилари Кан , профессор кафедры информатики [33]
- Том Килберн CBE FRS [34] первый руководитель отдела компьютерных наук
- Джошуа Ноулз , профессор Бирмингемского университета
- Педро Мендес , профессор Центра здоровья Университета Коннектикута
- Магнус Раттрей , профессор вычислительной и системной биологии Школы биологических наук [35]
- Нил Лоуренс , профессор машинного обучения DeepMind Кембриджского университета
- Алан Тьюринг FRS был заместителем директора вычислительной лаборатории и читателем в отделе математики.
- Брайан Варбойз , профессор
- Дэвид Бри, заслуженный профессор искусственного интеллекта [36]
- Фредди Уильямс CBE FRS [37]
- Саймон Лавингтон [38] [39]
- Джефф Тотилл [40]
- Нандини Мукерджи
- Росс Д. Кинг , создатель Robot Scientist , факультет химической инженерии и биотехнологии, Кембриджский университет [41]
- Ян Уотсон и заслуженный профессор
- Аласдер Роусторн [42] [43]
- Саймон Сегарс, генеральный директор Arm Ltd. [44]
- Бонами Граймс, соучредитель Skyscanner [ необходима ссылка ]
- Гарет Уильямс, соучредитель Skyscanner [ необходима ссылка ]
- Джон Эндрюс, вице-президент Apple Inc [45]
Ссылки [ править ]
- ^ a b [1] [ мертвая ссылка ]
- ^ «Департамент компьютерных наук - Манчестерский университет» . www.cs.manchester.ac.uk .
- ^ a b «Бакалавриат (Школа компьютерных наук - Манчестерский университет)» . Проверено 24 июля 2012 .
- ^ [2] [ мертвая ссылка ]
- ^ "Манчестерский центр докторской подготовки в области компьютерных наук" . Проверено 25 июля 2012 .
- ^ а б Анон (2017). «Тейлор, профессор Кристофер Джон» . Кто есть кто . ukwhoswho.com (онлайн- издательство Oxford University Press ). A&C Black, отпечаток Bloomsbury Publishing plc. DOI : 10.1093 / ww / 9780199540884.013.U249522 . ( требуется подписка или членство в публичной библиотеке Великобритании )
- ^ а б "Исследовательские группы: APT - передовые процессорные технологии (Школа компьютерных наук - Университет Манчестера)" . Архивировано из оригинала на 2012-07-30 . Проверено 24 июля 2012 .
- ^ http://www.manchester.ac.uk/research/ian.watson
- ^ "Дом группы информатики био-здоровья" . Проверено 24 июля 2012 .
- ^ http://www.manchester.ac.uk/research/Howard.barringer/ Проф Ховард Барринджер - личные данные
- ^ «Основы и формальные методы (Школа компьютерных наук - Университет Манчестера)» . Архивировано из оригинала на 2012-03-29 . Проверено 24 июля 2012 .
- ^ а б «Управление информацией» . Школа компьютерных наук . Манчестерский университет . Проверено 28 января 2015 .
- ^ "mlo.cs.man.ac.uk" . Проверено 24 июля 2012 .
- ^ "Домашняя страница Джонатана Л. Шапиро" . Проверено 24 июля 2012 .
- ^ "Д-р Ричард Невилл (доктор философии, магистр, бакалавр, MIET (MIEE), CEng, MIEEE, IEEE CS, MINNS, MENNS и MIEEE CIS (MIEEE NNS), изобретатель), профиль исследования - личные данные (Манчестерский университет) " . 11 апреля 2008 года в архив с оригинала на 2008-04-11.
- ^ "Профессор Томас Томсон | Манчестерский университет" . www.research.manchester.ac.uk .
- ^ а б "Исследовательские группы: Группа программных систем (Школа компьютерных наук - Университет Манчестера)" . Архивировано из оригинала на 2012-05-10 . Проверено 24 июля 2012 .
- ^ http://www.manchester.ac.uk/research/John.keane/
- ^ а б "Информационные системы (Школа компьютерных наук - Университет Манчестера)" . Архивировано из оригинала на 2012-05-29 . Проверено 24 июля 2012 .
- ^ "Проф. София Ананиаду | Манчестерский университет" . www.research.manchester.ac.uk .
- ^ «Группа расширенных интерфейсов» . Архивировано из оригинала на 2004-07-30 . Проверено 24 июля 2012 .
- ^ [3] [ мертвая ссылка ]
- ^ a b "Imaging Sciences (Исследования в области Imaging Sciences - Университет Манчестера)" . Проверено 25 июля 2012 .
- ^ "Профессор Крис Дж. Тейлор ФРЕНГ, ОБЕ" . Архивировано из оригинала на 2012-12-23 . Проверено 8 июня 2012 .
- ^ «Тим Кутс: Обзор» . personalpages.manchester.ac.uk .
- ^ Анон (2010). «Дай Эдвардс: помощь Тьюрингу в использовании Манчестерской марки 1» . www.bl.uk . Британская библиотека .
- ^ Анон (2014). "Голоса науки: Дэвид 'Дай' Эдвардс. Родился Дэвид Беверли Джордж Эдвардс, 1928" . www.bl.uk . Британская библиотека . Архивировано из оригинала на 2014-01-16.
- Перейти ↑ Kilburn, T. (1951). «Новая универсальная цифровая вычислительная машина в Манчестерском университете». Природа . 168 (4264): 95–96. Bibcode : 1951Natur.168 ... 95K . DOI : 10.1038 / 168095a0 . S2CID 4216071 .
- ^ Лавингтон, Саймон (2001). «Некролог: Том Килберн (1921–2001)». Природа . 409 (6823): 996. Bibcode : 2001Natur.409..996L . DOI : 10.1038 / 35059201 . PMID 11241994 . S2CID 6971607 .
- ^ «Манчестерский университет празднует рождение современного компьютера» . computer50.org . Архивировано из оригинала на 2012-05-04.
- ^ Халл, Дункан (2007). «Том Килберн» . flickr.com . Flickr .
- ^ "Архивная копия" . Архивировано из оригинала на 2013-06-26 . Проверено 8 июня 2012 .CS1 maint: archived copy as title (link) Домашняя страница профессора Роджера Хаббольда
- ^ "Профессор Хилари Кан (1943-2007)" . digital60.org .
- ^ Кан, Хилари Дж. (2004). «Килберн, Том (1921–2001), ученый-компьютерщик». Оксфордский национальный биографический словарь (онлайн-изд.). Издательство Оксфордского университета. DOI : 10.1093 / исх: odnb / 55314 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ "Профессор Магнус Рэттрей | Манчестерский университет" . www.research.manchester.ac.uk .
- ^ «Дэвид Бри» . www.cs.man.ac.uk .
- ^ Килберн, Т .; Пигготт, LS (1978). "Фредерик Калланд Уильямс. 26 июня 1911-11 августа 1977" . Биографические воспоминания членов Королевского общества . 24 : 583–604. DOI : 10.1098 / RSBM.1978.0020 .
- ^ Лавингтон, Саймон Х. (1978). «Манчестер Марк I и атлас: историческая перспектива». Коммуникации ACM . 21 (1): 4–12. DOI : 10.1145 / 359327.359331 . S2CID 10301670 .
- ^ Публикации Саймона Lavington в индексируется Scopus библиографической базы данных. (требуется подписка)
- ^ «Джефф Тотилл: родился в 1922 году в Ланкашире, Великобритания» . www.bl.uk . Британская библиотека .
- ↑ Кинг, Росс (13 июля 2020 г.). «Профессор Росс Кинг» . www.ceb.cam.ac.uk .
- ^ «Аласдер RAWSTHORNE родился в мае 1953 года» . companyhouse.gov.uk . Лондон: Регистрационная палата . Архивировано из оригинала на 2016-08-03.
- ^ http://apt.cs.man.ac.uk/people/arawsthorne/
- ^ Сегарс, Саймон Энтони (1996). Разработка микропроцессоров с низким энергопотреблением (дипломная работа). Манчестерский университет. OCLC 643624237 . Copac 36604476 .
- ^ «Apple продвигает нескольких старших директоров на должности вице-президента» . MacRumors .