Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Департамент компьютерных наук
Манчестер Килберн Билдинг.jpg
Департамент компьютерных наук находится в здании Килберн на Оксфорд-роуд.
Бывшие имена
  • Компьютерная группа (до 1964 г.)
  • Департамент компьютерных наук (1964–2004)
  • Школа компьютерных наук (2004–2019)
Учредил1964 год, история восходит к 1947 году [1]
Начальник отделаРоберт Стивенс
Студенты~ 800
Место расположения
Манчестер
,
объединенное Королевство

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

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

Преподавание и обучение [ править ]

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

Бакалавриат [ править ]

Департамент в настоящее время [ когда? ] предлагает широкий спектр программ бакалавриата, от бакалавра наук (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, профессора Нормана Патона , профессора Ульрике Саттлер , профессора Роберта Стивенса , Шона Бечхофера  [ Wikidata ] , Сюзанну Эмбури  [ Wikidata ] , Саймона Харпера, Кэролайн Джей  [ Wikidata ] , Биджан Парсия  [ Wikidata ] , Rizos Сакеллоиру, Сандра Сампайо и Нин Чжан. [12]

Машинное обучение и оптимизация [ править ]

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

Нанотехника и технологии хранения [ править ]

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

Программные системы [ править ]

Группа программных систем [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 году руководили десять разных руководителей школ .

Директора школ [ править ]

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

  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 FRS 1964–1980 [28] [29]

История [ править ]

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

  • Первый в мире электронный цифровой компьютер с хранимой программой ( Manchester Baby )
  • Виртуальная память с использованием подкачки (см. Atlas Computer )
  • Манчестерское кодирование
  • Серия микропроцессоров AMULET ( асинхронные реализации компьютерной архитектуры ARM )

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

Выпускники и заслуженные [ править ]

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

  • Терри Эттвуд , заслуженный профессор
  • Алан Ректор , заслуженный профессор
  • Роджер Хаббольд. Заслуженный профессор [32]
  • Джим Майлз (на пенсии) [ когда? ]
  • Аллан М. Рамзи (на пенсии) [ когда? ]
  • Ян Хоррокс , профессор компьютерных наук Оксфордского университета , ФРС
  • Хилари Кан , профессор кафедры информатики [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]

Ссылки [ править ]

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