Департамент компьютерных наук Манчестерского университета - Department of Computer Science, University of Manchester
Кафедра компьютерных наук базируется в Kilburn Здание на Оксфорд-роуд | |
Бывшие имена |
|
---|---|
Учредил | 1964 год, история восходит к 1947 году[1] |
Начальник отдела | Роберт Стивенс |
Студенты | ~800 |
Место расположения | , Координаты: 53 ° 28′03 ″ с.ш. 2 ° 14′03 ″ з.д. / 53,4676 ° с.ш. 2,2343 ° з.д. |
Известен | Манчестер Бэби Манчестерские компьютеры Виртуальная память Манчестерский кодекс АМУЛЕТ микропроцессор Спинакер Apache Taverna Вампир (доказатель теорем) |
Принадлежности | Факультет инженерии и физических наук, Манчестерский университет |
Интернет сайт | cs |
В Департамент компьютерных наук на Манчестерский университет это старейший отдел Информатика в объединенное Королевство и один из самых крупных. Он расположен в Kilburn Building (и прикрепленное здание ИТ) на Oxford Road и в настоящее время[когда? ] более 800 студентов обучаются на различных курсах бакалавриата и магистратуры, а 60 штатный преподавательский состав.[2]
Обучение и учеба
Бакалавриат
Департамент в настоящее время[когда? ] предлагает широкий выбор студент курсы от Бакалавр наук (BSc), Бакалавр технических наук (BEng) и Магистр инженерии (MEng).[3] Они доступны как одиночные награды или как совместные дипломы с отличием в рамках тем Искусственный интеллект, Информатика, Инженерия компьютерных систем, Программная инженерия, Математика, Интернет-вычисления, Бизнес-приложения и Управление. Промышленные размещения предлагаются со всеми курсами бакалавриата.[3]
Аспирант
В аспирант уровень кафедры предлагает преподавал Магистр наук (MSc) степени, на продвинутом уровне, а также через фундаментный маршрут.[4] Научные степени, Доктор философских наук (PhD) и Магистр философии (MPhil) доступны как трех- и четырехлетние программы через Центр подготовки докторантов в области компьютерных наук, первая в своем роде в Великобритании.[5]
Известный академический персонал
Известный академический персонал включает:
- Энди Брасс
- Джек Донгарра
- Стив Фербер CBE ФРС FREng
- Кэрол Гобл CBE FREng
- Тоби Ховард
- Норман Патон
- Стив Петтифер
- Ульрике Саттлер
- Роберт Стивенс
- Крис Дж. Тейлор OBE FREng[6]
- Андрей Воронков
Школа состоит из девяти различных исследовательских групп, которые получали финансирование из самых разных источников, включая Евросоюз, Совет по инженерным и физическим наукам и Совет по исследованиям в области биотехнологии и биологических наук.
Передовые процессорные технологии
Группа Advanced Processor Technologies (APT) исследует передовые и новые подходы к обработке и вычислениям и возглавляется профессором Стив Фербер. Новые проекты включают Спинакер, Транзакционная память и TERAFLUX.[7] Академический персонал в группе включает доктора Джима Гарсайда, доктора Дэвида Лестера, доктора Микель Лухан , Д-р Джон В. Вудс, д-р Хавьер Наваридас, д-р Василис Павлидис, д-р Дирк Кох и научный сотрудник Барри Читам.[7][8] Прошлые исследовательские проекты включают Ямайку, АМУЛЕТ микропроцессор, Сеть на чипе, Асинхронный Цифровые сигнальные процессоры и Система на микросхеме.
Биологическая информатика здоровья
Группа биологической информатики здоровья (BHIG) проводит исследования в Биоинформатика и Информатика здоровья начиная от приложений в молекулярная биология вплоть до клинических электронная наука и приложения для здравоохранения. Преподавательский состав в группе включает профессора Энди Брасс и Роберт Стивенс.[9]
Формальные методы
В Формальные методы У группы очень широкий круг интересов: от разработки новой математики вычислительного поведения до изучения и разработки методов проектирования и проверки систем. Есть большая группа, посвященная автоматизации логики, в том числе чемпион мира. Вампир. Группу возглавляет профессор Майкл Фишер (ученый-компьютерщик) и включает профессора Питер Акзель, Профессор Андрей Воронков, Профессор Говард Барринджер[10] среди более чем десятка сотрудников и большого количества студентов-исследователей.[11]
Управление информацией
В Управление информацией Группа (IMG)[12] проводит базовую и прикладную разработку, разработку и использование данных и управление знаниями системы. Такие исследования носят широкий характер, а также охват, включая фундаментальные исследования моделей и языков, которые лежат в основе деятельности по алгоритмам, технологиям и архитектурам. Сложные приложения мотивируют и подтверждают это исследование, в частности Семантическая сеть и электронная наука. Примеры недавних исследований включают Протеже, Документы Утопии, myGrid, Верстак Таверна, myExperiment, Открыть ФАКТЫ. Преподавательский состав в группе включает профессора Кэрол Гобл CBE, профессор Норман Патон, Профессор Ульрике Саттлер, Профессор Роберт Стивенс, Шон Беххофер , Сюзанна Эмбури , Саймон Харпер, Кэролайн Джей , Биджан Парсия , Ризос Сакеллоиру, Сандра Сампайо и Нин Чжан.[12]
Машинное обучение и оптимизация
Группа машинного обучения и оптимизации (MLO)[13] проводить ведущие в мире исследования по широкому спектру методов и приложений машинное обучение, оптимизация, сбор данных, вероятностное моделирование, распознавание образов и машинное восприятие. Академический состав: Джон Шапиро (руководитель группы),[14] Гэвин Браун, Ке Чен, Ричард Невилл[15] и Сяоцзюнь Цзэн.
Нано-инженерия и технологии хранения
В Нано Инжиниринг и Технологии хранения (NEST) исследовательские интересы в нано изготовление для хранения данных и приложений передовых датчиков, а также для исследования систем хранения данных в целом. Группа NEST размещается в интегрированном комплексе офисов персонала, лабораторных помещениях общего назначения и класса 100/1000. чистые помещения и является членом-учредителем Манчестерский центр мезонауки и нанотехнологий где новаторская, отмеченная Нобелевской премией работа над графен к Андре Гейм и Константин Новоселов было предпринято. Группу возглавляет профессор Томас Томсон,[16] академический персонал включает профессора Джим Майлз, Эрни В. Хилл, Милан Михайлович и Пол В. Наттер.
Программные системы
Группа программных систем[17] занимается проектированием, моделированием, симуляцией и строительством критически важный системы, которые бросают вызов самым последним достижениям в разработке программного обеспечения и инженерия производительности. Такие системы в основном состоят из физически распределенных компонентных подсистем и характеризуются большими пространствами данных и высокими потребностями в вычислениях с соответствующими сложными взаимодействиями между компонентами. Среди академических сотрудников профессор Джон Кин,[18] Кунг-Киу Лау, Липин Чжао и Грэм Райли.[17]
Текстовый анализ
В Текстовый анализ группа[19] проводит исследования для извлечения полезной информации и знаний из неструктурированный текст, особенно в области биоинформатика. Группа также проводит исследования Обработка естественного языка (NLP) и принимает Национальный центр интеллектуального анализа текста. Группу возглавляет профессор София Ананиаду[20] и включает академических членов профессора Дзюнъити Цудзи, Джон Макнот (на пенсии) и Горан Ненадич .[19]
Расширенные интерфейсы
Группа расширенных интерфейсов (AIG)[21] исследования виртуальные среды, совместная системы визуализации, и компьютерное зрение. Группу возглавляет Стив Петтифер[22] и включает преподавателей Афродиты Галата, Тоби Ховард (Почетный читатель) Тим Моррис. Исследовательские проекты включают Программное обеспечение UTOPIA.
Наука о изображениях
В Науки о изображениях является частью Центра визуализации наук, исследовательского отдела мирового класса, специализирующегося на физике визуализации, обработке изображений, компьютерном зрении, а также разработке и применении визуализирующих биомаркеров в здравоохранении. Группа[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 ФРС 1964–1980[28][29]
История
Школа берет свое начало в Компьютерная группа электротехнического факультета Университет Виктории в Манчестере. Компьютерная группа была создана после Фредди Уильямс перешел на электротехнический факультет в 1946 году.[30] При образовании в 1964 г. Департамент компьютерных наук был первым подобным отделением в объединенное Королевство, с профессором Том Килберн занимал пост главы департамента до 1980 года. 1 мая 2001 года, после смерти Килберна в том же году, Компьютерное здание был переименован Kilburn Building в его честь.[31] В Школа компьютерных наук был сформирован из отдела, когда Университет Виктории в Манчестере и UMIST объединились, чтобы сформировать Манчестерский университет в 2004 году. Из школы она снова превратилась в отделение в 2019 году. Группа / школа / отдел отличается следующими достижениями:
- Первый в мире электронный сохраненная программа цифровой компьютер ( Манчестер Бэби )
- Виртуальная память с помощью пейджинг (видеть Компьютер Атлас )
- Манчестерское кодирование
- В АМУЛЕТ микропроцессор серии (асинхронный реализации РУКА компьютерная архитектура )
См. Также Историю школы.[1] Следующие выпускники были сотрудниками школы
Выпускники и почетные звания
Школа и кафедра имеют несколько примечательных выпускники и Почетный персонал в том числе:
- Терри Эттвуд, Почетный Профессор
- Алан Ректор, Почетный профессор
- Роджер Хаббольд. Почетный профессор [32]
- Джим Майлз (на пенсии)[когда? ]
- Аллан М. Рамзи (на пенсии)[когда? ]
- Ян Хоррокс, ФРС Профессор компьютерных наук Оксфордский университет
- Хилари Кан, профессор кафедры информатики[33]
- Том Килберн CBE ФРС[34] первый заведующий кафедрой информатики
- Джошуа Ноулз , Профессор Бирмингемский университет
- Педро Мендес, Профессор Центр здоровья Университета Коннектикута
- Магнус Рэттрей , Профессор вычислительной и системной биологии в Школа биологических наук[35]
- Нил Лоуренс, DeepMind Профессор машинного обучения в Кембриджский университет
- Алан Тьюринг ФРС был заместителем директора вычислительной лаборатории и Читатель в Математический факультет
- Брайан Варбойз, Профессор
- Дэвид Бри, заслуженный профессор искусственного интеллекта[36]
- Фредди Уильямс CBE ФРС[37]
- Саймон Лавингтон[38][39]
- Джефф Тотилл[40]
- Нандини Мукерджи
- Росс Д. Кинг, создатель Робот-ученый, Кафедра химической инженерии и биотехнологии, Кембриджский университет[41]
- Ян Уотсон и Почетный Профессор
- Аласдер Русторн[42][43]
- Саймон Сегарс Генеральный директор Арм Лтд.[44]
- Бонами Граймс, соучредитель Skyscanner[нужна цитата ]
- Гарет Уильямс, соучредитель Skyscanner[нужна цитата ]
- Джон Эндрюс, вице-президент Apple Inc.[45]
Рекомендации
- ^ а б [1][мертвая ссылка ]
- ^ «Департамент компьютерных наук - Манчестерский университет». www.cs.manchester.ac.uk.
- ^ а б «Бакалавриат (Школа компьютерных наук - Манчестерский университет)». Получено 2012-07-24.
- ^ [2][мертвая ссылка ]
- ^ "Манчестерский центр подготовки докторантов компьютерных наук". Получено 2012-07-25.
- ^ а б Анон (2017). "Тейлор, профессор Кристофер Джон". Кто есть кто. ukwhoswho.com (онлайн Oxford University Press ред.). A&C Black, отпечаток Bloomsbury Publishing plc. Дои:10.1093 / ww / 9780199540884.013.U249522. (подписка или Членство в публичной библиотеке Великобритании требуется)
- ^ а б «Исследовательские группы: APT - Advanced Processor Technologies (Школа компьютерных наук - Университет Манчестера)». Архивировано из оригинал в 2012-07-30. Получено 2012-07-24.
- ^ http://www.manchester.ac.uk/research/ian.watson
- ^ "Био-Здоровье Информатика Групп Главная". Получено 2012-07-24.
- ^ http://www.manchester.ac.uk/research/Howard.barringer/ Проф Ховард Барринджер - личные данные
- ^ «Основы и формальные методы (Школа компьютерных наук - Манчестерский университет)». Архивировано из оригинал на 2012-03-29. Получено 2012-07-24.
- ^ а б «Управление информацией». Школа компьютерных наук. Манчестерский университет. Получено 28 января 2015.
- ^ "mlo.cs.man.ac.uk". Получено 2012-07-24.
- ^ "Домашняя страница Джонатана Л. Шапиро". Получено 2012-07-24.
- ^ «Д-р Ричард Невилл (доктор философии, магистр, бакалавриат, MIET (MIEE), CEng, MIEEE, IEEE CS, MINNS, MENNS и MIEEE CIS (MIEEE NNS), изобретатель), исследовательский профиль - личные данные (Манчестерский университет)». 11 апреля 2008 г. Архивировано с оригинал 11 апреля 2008 г.
- ^ "Профессор Томас Томсон | Манчестерский университет". www.research.manchester.ac.uk.
- ^ а б «Исследовательские группы: Группа программных систем (Школа компьютерных наук - Манчестерский университет)». Архивировано из оригинал на 2012-05-10. Получено 2012-07-24.
- ^ http://www.manchester.ac.uk/research/John.keane/
- ^ а б «Информационные системы (Школа компьютерных наук - Манчестерский университет)». Архивировано из оригинал на 2012-05-29. Получено 2012-07-24.
- ^ "Проф. София Ананиаду | Манчестерский университет". www.research.manchester.ac.uk.
- ^ «Группа расширенных интерфейсов». Архивировано из оригинал в 2004-07-30. Получено 2012-07-24.
- ^ [3][мертвая ссылка ]
- ^ а б "Imaging Sciences (Исследования в области Imaging Sciences - Манчестерский университет)". Получено 2012-07-25.
- ^ "Профессор Крис Дж. Тейлор ФРЕНГ, ОБЕ". Архивировано из оригинал на 2012-12-23. Получено 2012-06-08.
- ^ "Тим Кутс: Обзор". personalpages.manchester.ac.uk.
- ^ Анон (2010). "Дай Эдвардс: помощь Тьюрингу в использовании Манчестерской марки 1". www.bl.uk. Британская библиотека.
- ^ Анон (2014). "Голоса науки: Дэвид 'Дай' Эдвардс. Родился Дэвид Беверли Джордж Эдвардс, 1928". www.bl.uk. Британская библиотека. Архивировано из оригинал на 2014-01-16.
- ^ Килбурн, Т. (1951). «Новая универсальная цифровая вычислительная машина в Манчестерском университете». Природа. 168 (4264): 95–96. Bibcode:1951Натура.168 ... 95К. Дои:10.1038 / 168095a0. S2CID 4216071.
- ^ Лавингтон, Саймон (2001). «Некролог: Том Килберн (1921–2001)». Природа. 409 (6823): 996. Bibcode:2001Натура.409..996л. Дои:10.1038/35059201. PMID 11241994. S2CID 6971607.
- ^ «Манчестерский университет празднует рождение современного компьютера». computer50.org. Архивировано из оригинал на 2012-05-04.
- ^ Халл, Дункан (2007). "Том Килберн". flickr.com. Flickr.
- ^ «Архивная копия». Архивировано из оригинал на 2013-06-26. Получено 2012-06-08.CS1 maint: заархивированная копия как заголовок (связь) Домашняя страница профессора Роджера Хаббольда
- ^ "Профессор Хилари Кан (1943-2007)". digital60.org.
- ^ Кан, Хилари Дж. (2004). «Килберн, Том (1921–2001), ученый-компьютерщик». Оксфордский национальный биографический словарь (онлайн-изд.). Издательство Оксфордского университета. Дои:10.1093 / ссылка: odnb / 55314. (Подписка или Членство в публичной библиотеке Великобритании требуется.)
- ^ "Профессор Магнус Рэттрей | Манчестерский университет". www.research.manchester.ac.uk.
- ^ "Дэвид Бри". www.cs.man.ac.uk.
- ^ Килберн, Т.; Пигготт, Л. С. (1978). "Фредерик Калланд Уильямс. 26 июня 1911-11 августа 1977". Биографические воспоминания членов Королевского общества. 24: 583–604. Дои:10.1098 / Рсбм.1978.0020.
- ^ Лавингтон, Саймон Х. (1978). «Манчестер Марк I и атлас: историческая перспектива». Коммуникации ACM. 21 (1): 4–12. Дои:10.1145/359327.359331. S2CID 10301670.
- ^ Публикации Саймона Лавингтона индексируется Scopus библиографическая база данных. (требуется подписка)
- ^ "Джефф Тотилл: родился в 1922 году в Ланкашире, Великобритания". www.bl.uk. Британская библиотека.
- ^ Кинг, Росс (13 июля 2020 г.). "Профессор Росс Кинг". www.ceb.cam.ac.uk.
- ^ «Аласдер РАУСТХОРН родился в мае 1953 года». companyhouse.gov.uk. Лондон: Дом компаний. Архивировано из оригинал на 03.08.2016.
- ^ http://apt.cs.man.ac.uk/people/arawsthorne/
- ^ Сегарс, Саймон Энтони (1996). Конструкция микропроцессора с низким энергопотреблением (Магистерская диссертация). Манчестерский университет. OCLC 643624237. Копак 36604476.
- ^ «Apple продвигает нескольких старших директоров на должности вице-президента». MacRumors.