Департамент компьютерных наук Манчестерского университета - Department of Computer Science, University of Manchester

Департамент компьютерных наук
Манчестер Килберн Билдинг.jpg
Кафедра компьютерных наук базируется в Kilburn Здание на Оксфорд-роуд
Бывшие имена
  • Компьютерная группа (до 1964 г.)
  • Департамент компьютерных наук (1964–2004)
  • Школа компьютерных наук (2004–2019)
Учредил1964 год, история восходит к 1947 году[1]
Начальник отделаРоберт Стивенс
Студенты~800
Место расположения,
Координаты: 53 ° 28′03 ″ с.ш. 2 ° 14′03 ″ з.д. / 53,4676 ° с.ш. 2,2343 ° з.д. / 53.4676; -2.2343
ИзвестенМанчестер Бэби
Манчестерские компьютеры
Виртуальная память
Манчестерский кодекс
АМУЛЕТ микропроцессор
Спинакер
Apache Taverna
Вампир (доказатель теорем)
ПринадлежностиФакультет инженерии и физических наук,
Манчестерский университет
Интернет сайтcs.Манчестер.ac.Великобритания

В Департамент компьютерных наук на Манчестерский университет это старейший отдел Информатика в объединенное Королевство и один из самых крупных. Он расположен в Kilburn Building (и прикрепленное здание ИТ) на Oxford Road и в настоящее время[когда? ] более 800 студентов обучаются на различных курсах бакалавриата и магистратуры, а 60 штатный преподавательский состав.[2]

Обучение и учеба

Кэрол Гобл CBE FREng - профессор компьютерных наук.
Профессор Роберт Стивенс С 2016 года занимал должность начальника школы / отдела
Профессор Ульрике Саттлер исследование исследует представление знаний и рассуждения
Том Килберн (1921-2001) был первым директором школы с 1964 по 1980 год.
Алан Тьюринг был заместителем директора вычислительной лаборатории, предшественницы Департамента компьютерных наук

Бакалавриат

Департамент в настоящее время[когда? ] предлагает широкий выбор студент курсы от Бакалавр наук (BSc), Бакалавр технических наук (BEng) и Магистр инженерии (MEng).[3] Они доступны как одиночные награды или как совместные дипломы с отличием в рамках тем Искусственный интеллект, Информатика, Инженерия компьютерных систем, Программная инженерия, Математика, Интернет-вычисления, Бизнес-приложения и Управление. Промышленные размещения предлагаются со всеми курсами бакалавриата.[3]

Аспирант

В аспирант уровень кафедры предлагает преподавал Магистр наук (MSc) степени, на продвинутом уровне, а также через фундаментный маршрут.[4] Научные степени, Доктор философских наук (PhD) и Магистр философии (MPhil) доступны как трех- и четырехлетние программы через Центр подготовки докторантов в области компьютерных наук, первая в своем роде в Великобритании.[5]

Известный академический персонал

Известный академический персонал включает:

Школа состоит из девяти различных исследовательских групп, которые получали финансирование из самых разных источников, включая Евросоюз, Совет по инженерным и физическим наукам и Совет по исследованиям в области биотехнологии и биологических наук.

Передовые процессорные технологии

Группа 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 году.

Руководители школ

Школой руководит

  1. Роберт Стивенс с 2016 года по настоящее время
  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. Том Килберн CBE ФРС 1964–1980[28][29]

История

Школа берет свое начало в Компьютерная группа электротехнического факультета Университет Виктории в Манчестере. Компьютерная группа была создана после Фредди Уильямс перешел на электротехнический факультет в 1946 году.[30] При образовании в 1964 г. Департамент компьютерных наук был первым подобным отделением в объединенное Королевство, с профессором Том Килберн занимал пост главы департамента до 1980 года. 1 мая 2001 года, после смерти Килберна в том же году, Компьютерное здание был переименован Kilburn Building в его честь.[31] В Школа компьютерных наук был сформирован из отдела, когда Университет Виктории в Манчестере и UMIST объединились, чтобы сформировать Манчестерский университет в 2004 году. Из школы она снова превратилась в отделение в 2019 году. Группа / школа / отдел отличается следующими достижениями:

См. Также Историю школы.[1] Следующие выпускники были сотрудниками школы

Выпускники и почетные звания

Школа и кафедра имеют несколько примечательных выпускники и Почетный персонал в том числе:

Рекомендации

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