stringtranslate.com

Факультет компьютерных наук, Манчестерский университет

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

Преподавание и учеба

Профессор Стив Фербер, FRS FREng, работает над проектом SpiNNaker и человеческого мозга.
Кэрол Гобл, CBE FREng, профессор компьютерных наук
Профессор Роберт Стивенс занимает должность руководителя школы/отделения с 2016 года.
Профессор Ульрике Саттлер исследует представление знаний и рассуждения
Алан Тьюринг был заместителем директора вычислительной лаборатории, предшественника кафедры компьютерных наук.

Бакалавриат

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

Аспирантура

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

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

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

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

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

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

Биомедицинская информатика

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

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

Группа Formal Methods имеет очень широкий спектр интересов, начиная от разработки новой математики вычислительного поведения и заканчивая изучением и разработкой методов проектирования и проверки систем. Существует большая группа, занимающаяся автоматизацией логики, включая чемпиона мира Vampire . Группу возглавляет профессор Майкл Фишер (компьютерный ученый)  [Wikidata] , в нее входят профессор Питер Ацель , профессор Андрей Воронков , профессор Говард Баррингер  [Wikidata] [10] среди более чем дюжины сотрудников и большого числа студентов-исследователей. [11]

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

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

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

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

Нанотехнологии и технологии хранения данных

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

Системы программного обеспечения

Группа Software Systems [17] занимается проектированием, моделированием, имитацией и созданием критически важных систем, которые бросают вызов современному уровню как в программной инженерии, так и в инженерии производительности . Такие системы в основном состоят из физически распределенных компонентных подсистем и характеризуются большими пространствами данных и высокими вычислительными потребностями, с сопутствующими сложными взаимодействиями между компонентами. В состав академического персонала входят профессор Джон Кин, [18] Кунг-Киу Лау, Липин Чжао и Грэм Райли. [17]

Текстовый майнинг

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

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

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

Наука визуализации

Imaging sciences является частью Centre for Imaging sciences, исследовательского отдела, сосредоточенного на физике визуализации, обработке изображений, компьютерном зрении, а также разработке и применении биомаркеров визуализации в здравоохранении. Группой [23] руководит профессор Крис Дж. Тейлор  [Wikidata] [6] [24] совместно с Медицинской школой . [23] В состав группы входит профессор Тим Кутс. [25]

Управление

С момента основания школы (и факультета) в 1964 году ее возглавляли десять разных руководителей .

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

Кафедрой компьютерных наук (в 2018 году Факультет компьютерных наук был преобразован в Кафедру компьютерных наук) руководит

  1. Эндрю Дж. Стюарт  [Викиданные] с 2022 г.

Факультетом компьютерных наук (2004–2018) руководил

  1. Роберт Стивенс 2016–2022
  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. Том Килберн 1964–1980 [28] [29]

История

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

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

Выпускники и почетные деятели

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

Ссылки

  1. ^ ab "История (Школа компьютерных наук - Манчестерский университет)". Архивировано из оригинала 2 января 2008 года . Получено 30 января 2008 года .
  2. ^ «Кафедра компьютерных наук — Манчестерский университет». www.cs.manchester.ac.uk .
  3. ^ ab "Бакалавриат (Школа компьютерных наук - Манчестерский университет)" . Получено 24 июля 2012 г. .
  4. ^ "Postgraduate (School of Computer Science - the University of Manchester)". Архивировано из оригинала 20 июля 2012 года . Получено 24 июля 2012 года .
  5. ^ "Манчестерский центр докторской подготовки в области компьютерных наук". Архивировано из оригинала 6 декабря 2016 года . Получено 25 июля 2012 года .
  6. ^ ab Anon (2017). "Taylor, Prof. Christopher John" . Who's Who (онлайн-редакция Oxford University Press  ). Oxford: A & C Black. doi :10.1093/ww/9780199540884.013.U249522. (Требуется подписка или членство в публичной библиотеке Великобритании.)
  7. ^ ab "Исследовательские группы: APT - Advanced Processor Technologies (Школа компьютерных наук - Манчестерский университет)". Архивировано из оригинала 30 июля 2012 г. Получено 24 июля 2012 г.
  8. ^ "Проф. Ян Уотсон (BSc PhD FBCS CEng CITP), исследовательский профиль - личные данные (Манчестерский университет)". Архивировано из оригинала 12 апреля 2008 г.
  9. ^ "Bio-Health informatics Group Home" . Получено 24 июля 2012 г. .
  10. ^ http://www.manchester.ac.uk/research/Howard.barringer/ Профессор Говард Барринджер - личные данные
  11. ^ "Основы и формальные методы (Школа компьютерных наук - Манчестерский университет)". Архивировано из оригинала 29 марта 2012 года . Получено 24 июля 2012 года .
  12. ^ ab "Управление информацией". Школа компьютерных наук . Манчестерский университет . Получено 28 января 2015 г.
  13. ^ "mlo.cs.man.ac.uk" . Получено 24 июля 2012 г. .
  14. ^ "Jonathan L. Shapiro Homepage" . Получено 24 июля 2012 г. .
  15. ^ "Доктор Ричард Невилл ( PhD, MSc, BSc, MIET (MIEE), CEng, MIEEE, IEEE CS, MINNS, MENNS, & MIEEE CIS (MIEEE NNS), Inventor ), исследовательский профиль - личные данные (Манчестерский университет)". 11 апреля 2008 г. Архивировано из оригинала 11 апреля 2008 г.
  16. ^ "Профессор Томас Томсон | Манчестерский университет". www.research.manchester.ac.uk .
  17. ^ ab "Исследовательские группы: Группа систем программного обеспечения (Школа компьютерных наук - Манчестерский университет)". Архивировано из оригинала 10 мая 2012 г. Получено 24 июля 2012 г.
  18. ^ "Профессор Джон Кин, исследовательский профиль - личные данные (Манчестерский университет)". Архивировано из оригинала 4 октября 2008 г.
  19. ^ ab "Информационные системы (Школа компьютерных наук - Манчестерский университет)". Архивировано из оригинала 29 мая 2012 года . Получено 24 июля 2012 года .
  20. ^ "Профессор София Ананиаду | Манчестерский университет". www.research.manchester.ac.uk .
  21. ^ "Advanced Interfaces Group". Архивировано из оригинала 30 июля 2004 г. Получено 24 июля 2012 г.
  22. ^ "Dr. Steve Pettifer". Архивировано из оригинала 30 августа 2013 года . Получено 24 июля 2012 года .
  23. ^ ab "Науки о визуализации (Исследования в области наук о визуализации - Манчестерский университет)" . Получено 25 июля 2012 г. .
  24. ^ "Профессор Крис Дж. Тейлор FREng, OBE". Архивировано из оригинала 23 декабря 2012 года . Получено 8 июня 2012 года .
  25. ^ "Тим Кутс: Обзор". personalpages.manchester.ac.uk .
  26. ↑ Anon (2010). «Dai Edwards: assistance Turing use the Manchester Mark 1». www.bl.uk . British Library . Архивировано из оригинала 20 декабря 2016 года . Получено 8 августа 2016 года .
  27. ^ Anon (2014). "Голоса науки: Дэвид 'Дай' Эдвардс. Родился Дэвид Беверли Джордж Эдвардс, 1928". www.bl.uk . Британская библиотека . Архивировано из оригинала 16 января 2014 года.
  28. ^ Килберн, Т. (1951). «Новая универсальная цифровая вычислительная машина в Манчестерском университете». Nature . 168 (4264): 95–96. Bibcode :1951Natur.168...95K. doi :10.1038/168095a0. S2CID  4216071.
  29. ^ Лавингтон, Саймон (2001). «Некролог: Том Килберн (1921–2001)». Nature . 409 (6823): 996. Bibcode :2001Natur.409..996L. doi : 10.1038/35059201 . PMID  11241994. S2CID  6971607.
  30. ^ "Манчестерский университет празднует рождение современного компьютера". computer50.org . Архивировано из оригинала 4 мая 2012 года.
  31. ^ Халл, Дункан (2007). "Том Килберн". flickr.com . Flickr .
  32. ^ "Архивная копия". Архивировано из оригинала 26 июня 2013 года . Получено 8 июня 2012 года .{{cite web}}: CS1 maint: архивная копия как заголовок ( ссылка )Домашняя страница профессора Роджера Хабболда
  33. ^ "Профессор Хилари Кан (1943-2007)". digital60.org .
  34. ^ Кан, Хилари Дж. (2004). «Килберн, Том (1921–2001), компьютерный ученый». Оксфордский национальный биографический словарь (онлайн-ред.). Oxford University Press. doi :10.1093/ref:odnb/55314. (Требуется подписка или членство в публичной библиотеке Великобритании.)
  35. ^ "Профессор Магнус Рэттрей | Манчестерский университет". www.research.manchester.ac.uk .
  36. ^ "Дэвид Бри". www.cs.man.ac.uk .
  37. ^ Килберн, Т.; Пигготт, Л.С. (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. ^ Публикации Саймона Лавингтона, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
  40. ^ "Джефф Тутилл: родился в 1922 году в Ланкашире, Великобритания". www.bl.uk . Британская библиотека . Архивировано из оригинала 29 мая 2020 года . Получено 8 августа 2016 года .
  41. ^ Кинг, Росс (13 июля 2020 г.). «Профессор Росс Кинг». www.ceb.cam.ac.uk .
  42. ^ "Alasdair RAWSTHORNE родился в мае 1953 года". companieshouse.gov.uk . Лондон: Companies House . Архивировано из оригинала 3 августа 2016 года.
  43. ^ "Alasdair Rawsthorne". Архивировано из оригинала 28 ноября 2010 года.
  44. ^ Сегарс, Саймон Энтони (1996). Проектирование маломощных микропроцессоров (диссертация на степень магистра наук). Манчестерский университет. OCLC  643624237. Copac  36604476.
  45. ^ «Apple повышает нескольких старших директоров до должностей вице-президентов». MacRumors .