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

Департамент компьютерных наук
Манчестер Килберн Билдинг.jpg
Департамент компьютерных наук находится в здании Килберн на Оксфорд-роуд.
Бывшие имена
Учредил 1964 год, история восходит к 1947 году
Начальник отдела Роберт Стивенс
Студенты ~ 800
Место расположения
Манчестер
,
Великобритания

Координаты : 53.4676 ° N 2.2343 ° W 53 ° 28′03 ″ с.ш., 2 ° 14′03 ″ з.д. /  / 53.4676; -2,2343
Известен Manchester Baby
Манчестерские компьютеры
Виртуальная память
Манчестерский код
Микропроцессор
AMULET SpiNNaker
Apache Taverna
Vampire (средство доказательства теорем)
Принадлежности Факультет инженерных и физических наук ,
Университет Манчестера
Веб-сайт cs .manchester .ac .uk

Факультет компьютерных наук в Университете Манчестера является старейшим отделом вычислительной техники в Великобритании и один из крупнейших. Он расположен в здании Kilburn (и пристроенном IT-здании) на Оксфорд-роуд, и в настоящее время в нем обучаются более 800 студентов, обучающихся на различных курсах бакалавриата и магистратуры, и 60 штатных преподавателей .

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

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

Бакалавриат

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

Аспирант

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

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

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

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

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

Группа Advanced Processor Technologies (APT) исследует передовые и новые подходы к обработке и вычислениям и возглавляется профессором Стивом Фербером . Новые проекты включают SpiNNaker , Transactional Memory и TERAFLUX. В состав группы входят д-р Джим Гарсайд, д-р Дэвид Лестер, д-р Микель Лухан  [ Викиданные ] , д-р Джон В. Вудс, д-р Хавьер Наваридас, д-р Василис Павлидис, д-р Дирк Кох и научный сотрудник Барри Читам. Прошлые исследовательские проекты включают Ямайку, микропроцессор AMULET , сеть на кристалле , асинхронные цифровые сигнальные процессоры и систему на кристалле .

Биологическая информатика здоровья

Группа биотехнологической информатики (BHIG) проводит исследования в области биоинформатики и медицинской информатики, начиная от приложений в молекулярной биологии и заканчивая клиническими электронными науками и приложениями здравоохранения. В состав группы входят профессор Энди Брасс и Роберт Стивенс .

Формальные методы

Группа « Формальные методы » имеет очень широкий круг интересов - от разработки новой математики вычислительного поведения до изучения и разработки методов проектирования и проверки систем. Есть большая группа, занимающаяся автоматизацией логики, включая чемпиона мира по вампиру . Группу возглавляет профессор Майкл Фишер (специалист по информатике)  [ Викиданные ] и включает в себя профессора Питера Акзеля , профессора Андрея Воронкова , профессора Ховарда Барринджера  [ Викиданные ], а также более десятка сотрудников и большое количество студентов-исследователей.

Управление информацией

Группа управления информацией (IMG) занимается базовым и прикладным проектированием, разработкой и использованием систем управления данными и знаниями . Такие исследования носят широкий характер, а также охват, включая фундаментальные исследования моделей и языков, которые лежат в основе деятельности по алгоритмам, технологиям и архитектурам. Сложные приложения мотивируют и подтверждают эти исследования, в частности, Семантическая сеть и электронная наука . Примеры недавних исследований включают Protégé , Utopia Documents , myGrid , Taverna workbench , myExperiment , Open PHACTS . Академический персонал в группе включает профессора Кэрол Гобл CBE, профессора Нормана Патона , профессора Ульрике Саттлер , профессора Роберта Стивенса , Шона Бечхофера  [ Wikidata ] , Сюзанну Эмбури  [ Wikidata ] , Саймона Харпера, Кэролайн Джей  [ Wikidata ] , Биджан Парсия  [ Wikidata ] , Rizos Сакеллоиру, Сандра Сампайо и Нин Чжан.

Машинное обучение и оптимизация

Группа машинного обучения и оптимизации (MLO) проводит ведущие в мире исследования широкого спектра методов и приложений машинного обучения , оптимизации, интеллектуального анализа данных , вероятностного моделирования , распознавания образов и машинного восприятия . В состав академического персонала входят Джон Шапиро (руководитель группы), Гэвин Браун, Ке Чен, Ричард Невилл и Сяоцзюнь Цзэн.

Нано-инженерия и технологии хранения

Группа Nano Engineering and Storage Technologies (NEST) занимается исследованиями в области нанопроизводства для хранения данных и передовых сенсорных приложений, а также исследования систем хранения данных в целом. Группа NEST размещается в интегрированном наборе офисов для персонала, лабораторных помещениях общего назначения и чистых помещениях класса 100/1000 и является одним из основателей Манчестерского центра мезонауки и нанотехнологий, в котором проводится новаторская работа по графену , получившая Нобелевскую премию. по Андре Гейм и Константин Новоселов был проведен. Группу возглавляет профессор Томас Томсон, среди преподавателей - профессор Джим Майлз , Эрни В. Хилл, Милан Михайлович и Пол В. Наттер.

Программные системы

Группа программных систем занимается проектированием, моделированием, моделированием и построением критически важных систем, которые бросают вызов самым современным достижениям как в разработке программного обеспечения, так и в инженерии производительности . Такие системы в основном состоят из физически распределенных подсистем компонентов и характеризуются большими пространствами данных и высокими вычислительными потребностями, со связанными сложными взаимодействиями между компонентами. Среди академических сотрудников профессор Джон Кин, Кунг-Киу Лау, Липин Чжао и Грэм Райли.

Текстовый анализ

Группа Text Mining проводит исследования для извлечения полезной информации и знаний из неструктурированного текста , особенно в области биоинформатики . Группа также проводит исследования в области обработки естественного языка (NLP) и размещает Национальный центр интеллектуального анализа текста . Группу возглавляет профессор София Ананиаду, в нее входят академические члены профессор Дзюнъити Цуджи , Джон Макнот (на пенсии) и Горан Ненадич  [ Викиданные ] .

Расширенные интерфейсы

Advanced Interfaces Group (AIG) исследует виртуальные среды , системы совместной визуализации и компьютерное зрение . Группу возглавляет Стив Петтифер, в нее входят преподаватели Афродита Галата, Тоби Ховард (почетный читатель), Тим Моррис. Исследовательские проекты включают программное обеспечение UTOPIA .

Наука о изображениях

В науки визуализации является частью Центра обработки изображений РАН, научно - исследовательского отдела мирового класса с упором на физику визуализации, обработки изображений, компьютерного зрения, а также разработка и применение биомаркеров визуализации в здравоохранении. Группой руководит профессор Крис Дж. Тейлор  [ Викиданные ] совместно со Школой медицины . В состав группы входит профессор Тим Кутс.

Управление

С момента основания в 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
  6. Том Килберн CBE FRS 1964–1980

История

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

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

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

В школе и отделении есть несколько известных выпускников и почетных сотрудников, в том числе:

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