Департамент компьютерных наук и технологий Кембриджского университета

Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны )

Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален.
Найти источники: «Департамент компьютерных наук и технологий Кембриджского университета» - новости · газеты · книги · ученый · JSTOR ( июнь 2020 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон )

Кажется, что в настоящее время в этой статье недостаточно ссылок, чтобы продемонстрировать известность . Однако редактор выполнил поиск и утверждает, что существует достаточно источников, чтобы указать, что это важная тема . Вы можете помочь улучшить статью, добавив цитаты из надежных источников . Идеи для ссылок также можно найти на странице обсуждения . ( Июнь 2020 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

( Узнайте, как и когда удалить этот шаблон сообщения )

Департамент компьютерных наук и технологий
Компьютерная лаборатория находится в здании Уильяма Гейтса в Западном Кембридже с августа 2001 года.
Бывшие имена	Компьютерная лаборатория Математическая лаборатория
Учредил	14 мая 1937 г. ( 14 мая 1937 г. )
Начальник отдела	Профессор Энн Копестак
Академический персонал	35 год
Административный персонал	25
Аспиранты	155
Место расположения	Здание Уильяма Гейтса, Кембридж , Великобритания 52 ° 12′39 ″ с.ш., 0 ° 05′31 ″ в.д. / 52.210925 ° N 0,092022 ° E / 52.210925; 0,092022 Координаты: 52.210925 ° N 0,092022 ° E52 ° 12′39 ″ с.ш., 0 ° 05′31 ″ в.д. / / 52.210925; 0,092022
Веб-сайт	www .cst .cam .ac .uk

Факультет компьютерных наук и технологий , ранее компьютерная лаборатория , является научно - компьютерным отделом Кембриджского университета . По состоянию на 2007 год в ^{[Обновить]}нем работало 35 академических сотрудников, 25 вспомогательных сотрудников, 35 аффилированных научных сотрудников и около 155 студентов-исследователей. Нынешний руководитель отдела - профессор Энн Копестак .

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

Кафедра была основана как математическая лаборатория под руководством Джона Леннарда-Джонса 14 мая 1937 года, хотя должным образом она не была создана до окончания Второй мировой войны . Новая лаборатория размещалась в северном крыле бывшей анатомической школы на территории Новых музеев . С момента своего основания он был предназначен «для предоставления вычислительных услуг для общего пользования и быть центром развития вычислительной техники в университете». Кембридж Диплом в области компьютерных наук был первым в мире аспирант преподавал курс вычислений, начиная с 1953 годом.

В октябре 1946 года под руководством Мориса Уилкса началась работа над EDSAC ( Electronic Delay Storage Automatic Calculator ), который впоследствии стал первым в мире полностью работоспособным и практичным компьютером с хранимой программой, когда он запустил свою первую программу 6 мая 1949 года. Он вдохновил на создание первого в мире компьютера для бизнеса. , ЛЕВ . На смену ему в 1958 году пришел EDSAC 2 , первый компьютер с микрокодированием и битрейтом.

В 1961 году Дэвид Хартли разработал Autocode , один из первых языков программирования высокого уровня для EDSAC 2 . В том же году были разработаны предложения по Titan на базе машины Ferranti Atlas . Titan был полностью введен в эксплуатацию в 1964 году, а в следующем году EDSAC 2 был выведен из эксплуатации. В 1967 году на Титане была открыта полноценная («24/7») многопользовательская служба с разделением времени для 64 пользователей.

В 1970 году математическая лаборатория была переименована в компьютерную лабораторию с отдельными отделами обучения и исследований и вычислительной службой, предоставляющей вычислительные услуги университету и его колледжам. Они не разделялись полностью до 2001 года, когда компьютерная лаборатория переехала в новое здание Уильяма Гейтса в Западном Кембридже , недалеко от Мэдингли-роуд , оставив после себя независимую вычислительную службу .

В 2002 году Компьютерная лаборатория открыла Cambridge Computer Lab Ring , общество выпускников, названное в честь сети Cambridge Ring .

Текущий [ править ]

30 июня 2017 года репортер Кембриджского университета объявил, что с 1 октября 2017 года компьютерная лаборатория изменит свое название на Департамент компьютерных наук и технологий, чтобы отразить расширенный масштаб ее целей и деятельности. ^[1]

В настоящее время кафедра предлагает трехлетний курс бакалавриата и годичный курс магистратуры (с большим выбором специализированных курсов в различных областях исследований). Недавние исследования были сосредоточены на виртуализации , безопасности , удобстве использования , формальной проверке , формальной семантике языков программирования , компьютерной архитектуре , обработке естественного языка , мобильных вычислениях , беспроводных сетях , биометрической идентификации , робототехнике , маршрутизации , системах позиционирования и устойчивости («Вычислительная техника для будущего планеты» ). Члены участвовали в создании многих успешных британских ИТ- компаний, таких как Acorn , ARM , nCipher и XenSource .

Персонал [ править ]

Профессора [ править ]

По состоянию на 2016 год ^{[Обновить]}в лаборатории работало 19 профессоров: ^[2] Известные из них:

Росс Дж. Андерсон , ^[3] профессор инженерной безопасности.
Алан Ф. Блэквелл , профессор междисциплинарного дизайна
Энн Копестейк , ^[4] профессор компьютерной лингвистики.
Джон Кроукрофт , профессор систем связи Маркони
Джон Даугман , профессор компьютерного зрения и распознавания образов
Энди Хоппер , ^[5] профессор компьютерных технологий
Нил Лоуренс , профессор машинного обучения Deepmind
Сесилия Масколо , профессор мобильных систем
Алан Майкрофт , профессор вычислительной техники
Лоуренс Полсон , профессор вычислительной логики
Питер Робинсон , профессор компьютерных технологий

Среди других сотрудников - Роберт Уотсон и Маркус Кун.

Бывшие сотрудники [ править ]

Среди бывших сотрудников:

Жан Бэкон
Джеймс Дэвенпорт
Эндрю Д. Гордон
Филип Хейзел
Робин Милнер ^[6]
Роджер Нидхэм ^[7]
Мартин Ричардс ^[8]
Карен Сперк Джонс ^[9]
Дэвид Уиллер ^[10]
Морис Уилкс ^[11]
Нил Уайзман
Нил Доджсон
Майк Гордон

Заведующие компьютерной лабораторией [ править ]

Лабораторией руководили:

1949 Морис Уилкс
Роджер Нидхэм ( 1980) Roger Needham
1996 Робин Милнер
1999 Ян Лесли
2004 Энди Хоппер ^[5]

Достижения и инновации [ править ]

Участники оказали влияние на компьютеры, машины Тьюринга, микропрограммирование, подпрограммы, компьютерные сети, мобильные протоколы, безопасность, языки программирования, ядра, ОС, безопасность, виртуализацию, системы определения местоположения и т. Д. Ниже приведен список.

EDSAC - первый в мире практический электронный компьютер с хранимой программой (1949–1958)
Подпрограмма (1951)
OXO - первая в мире видеоигра (1952 г.)
EDSAC 2 (1958–1965)
Autocode - один из первых языков программирования высокого уровня (1961 г.)
Titan - ранний многопользовательский компьютер с разделением времени (1964–1973)
Phoenix - IBM 370 с местной ОС и аппаратными расширениями (1973–1995)
Операционная система TRIPOS - позже стала основой AmigaDOS.
Язык программирования BCPL - предок C
Компьютер CAP - аппаратная поддержка безопасности на основе возможностей
Cambridge Ring - ранняя локальная сеть
Кембриджская распределенная вычислительная система
Кофейник Trojan Room - первая в мире веб-камера (1993)
Распознавание радужной оболочки глаза - биометрическая идентификация с исчезающе малым числом ложных срабатываний
Nemesis - микроядро ОС реального времени
Система активных значков - ^[12]
Active Bat - ультразвуковая система позиционирования в помещении
Xen - монитор виртуальных машин (2003– настоящее время )
Изабель и HOL - интерактивные программы доказательства теорем

Влияние на коммерческое предприятие [ править ]

Ряд компаний был основан сотрудниками и выпускниками. Их имена были указаны в новом входе в 2012 году. ^[13] Некоторые приводимые примеры успешных компаний: ARM , Autonomy , Aveva , CSR и Domino . Их общий фактор - то, что ключевые сотрудники или члены-учредители «залиты университетским обучением и исследованиями». ^[14] Cambridge Lab Ring Компьютер хвалили за его «работу неутомимого» по Энди Хоппер в 2012 году на своей десятой годовщины обеда. ^[15]

Известные выпускники (отрасли) [ править ]

Демис Хассабис
Эбен Аптон
Бьярне Страуструп
Джон Бейтс
Ян Пратт
Саймон Кросби
Дэвид Л. Тенненхаус
Майкл Берроуз
Эндрю Герберт
Энди Хартер
Энди Хоппер

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

^ «Уведомления Генерального совета - Репортер Кембриджского университета 6473: переименование компьютерной лаборатории» . Кембриджский университет. п. 753 . Проверено 18 июля 2017 года .
^ "Преподаватели в компьютерной лаборатории" . Кембриджский университет. Архивировано из оригинала 25 марта 2015 года.
^ "АНДЕРСОН, профессор Росс Джон" . Кто есть кто . ukwhoswho.com . 2014 (онлайн-издание через издательство Oxford University Press ). A&C Black, отпечаток Bloomsbury Publishing plc. ( требуется подписка или членство в публичной библиотеке Великобритании ) (требуется подписка)
^ Публикации Энн Копестейк, проиндексированные Google Scholar
^ a b "ХОППЕР, проф. Эндрю" . Кто есть кто . ukwhoswho.com . 2015 (онлайн- издание Oxford University Press ). A&C Black, отпечаток Bloomsbury Publishing plc. ( требуется подписка или членство в публичной библиотеке Великобритании ) (требуется подписка)
Перейти ↑ Hoffmann, L. (2010). «Робин Мильнер: элегантный прагматик» . Коммуникации ACM . 53 (6): 20. DOI : 10.1145 / 1743546.1743556 .
^ Хоар, Т .; Уилкс, М.В. (2004). " Роджер Майкл Нидхэм CBE FREng. 9 февраля 1935 - 1 марта 2003: избран FRS 1985". Биографические воспоминания членов Королевского общества . 50 : 183. DOI : 10.1098 / rsbm.2004.0014 .
^ Мартин Ричардс насервере библиографии DBLP
Перейти ↑ Tait, JI (2007). « Карен Спарк Джонс ». Компьютерная лингвистика . 33 (3): 289–291. DOI : 10,1162 / coli.2007.33.3.289 .
↑ Кэмпбелл-Келли, М. (2006). «Дэвид Джон Уиллер. 9 февраля 1927 - 13 декабря 2004: избран ФРС 1981» . Биографические воспоминания членов Королевского общества . 52 : 437. DOI : 10.1098 / rsbm.2006.0030 .
Перейти ↑ Campbell-Kelly, M. (2014). «Сэр Морис Винсент Уилкс, 26 июня 1913 г. - 29 ноября 2010 г.» . Биографические воспоминания членов Королевского общества . DOI : 10,1098 / rsbm.2013.0020 .
^ url = " http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Архивировано 27 января 2013 г. на Wayback Machine "
^ Quested, Тони (24 февраля 2012). «Кембриджский технологический кластер процветает благодаря динамизму университетов» . Деловой еженедельник . Проверено 13 марта 2012 года .
↑ Варгас, Лаутаро (5 марта 2012 г.). «Кембриджский университет планирует создать венчурный фонд в размере 30 млн фунтов стерлингов и открывает двери для неунифицированных инвестиций» . Cabume . Кембридж . Проверено 14 марта 2012 года .
^ Quested, Тони (27 марта 2012). «Ворота - не преграда для предприятия Bango» . Деловой еженедельник . Проверено 28 марта 2012 года .

[namechange-1] «Уведомления Генерального совета - Репортер Кембриджского университета 6473: переименование компьютерной лаборатории» . Кембриджский университет. п. 753 . Проверено 18 июля 2017 года .

[fortyacademicstaff-2] "Преподаватели в компьютерной лаборатории" . Кембриджский университет. Архивировано из оригинала 25 марта 2015 года.

[andersonswho-3] "АНДЕРСОН, профессор Росс Джон" . Кто есть кто . ukwhoswho.com . 2014 (онлайн-издание через издательство Oxford University Press ). A&C Black, отпечаток Bloomsbury Publishing plc. ( требуется подписка или членство в публичной библиотеке Великобритании ) (требуется подписка)

[GS-4] Публикации Энн Копестейк, проиндексированные Google Scholar

[hopperswho-5] "ХОППЕР, проф. Эндрю" . Кто есть кто . ukwhoswho.com . 2015 (онлайн- издание Oxford University Press ). A&C Black, отпечаток Bloomsbury Publishing plc. ( требуется подписка или членство в публичной библиотеке Великобритании ) (требуется подписка)

[6] Перейти ↑ Hoffmann, L. (2010). «Робин Мильнер: элегантный прагматик» . Коммуникации ACM . 53 (6): 20. DOI : 10.1145 / 1743546.1743556 .

[7] Хоар, Т .; Уилкс, М.В. (2004). " Роджер Майкл Нидхэм CBE FREng. 9 февраля 1935 - 1 марта 2003: избран FRS 1985". Биографические воспоминания членов Королевского общества . 50 : 183. DOI : 10.1098 / rsbm.2004.0014 .

[DBLP-8] Мартин Ричардс насервере библиографии DBLP

[9] Перейти ↑ Tait, JI (2007). « Карен Спарк Джонс ». Компьютерная лингвистика . 33 (3): 289–291. DOI : 10,1162 / coli.2007.33.3.289 .

[10] Кэмпбелл-Келли, М. (2006). «Дэвид Джон Уиллер. 9 февраля 1927 - 13 декабря 2004: избран ФРС 1981» . Биографические воспоминания членов Королевского общества . 52 : 437. DOI : 10.1098 / rsbm.2006.0030 .

[11] Перейти ↑ Campbell-Kelly, M. (2014). «Сэр Морис Винсент Уилкс, 26 июня 1913 г. - 29 ноября 2010 г.» . Биографические воспоминания членов Королевского общества . DOI : 10,1098 / rsbm.2013.0020 .

[12] url = " http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Архивировано 27 января 2013 г. на Wayback Machine "

[businessweekly_2012-13] Quested, Тони (24 февраля 2012). «Кембриджский технологический кластер процветает благодаря динамизму университетов» . Деловой еженедельник . Проверено 13 марта 2012 года .

[cabume_vc_fund_2012-14] Варгас, Лаутаро (5 марта 2012 г.). «Кембриджский университет планирует создать венчурный фонд в размере 30 млн фунтов стерлингов и открывает двери для неунифицированных инвестиций» . Cabume . Кембридж . Проверено 14 марта 2012 года .

[businessweekly_quested_2012-15] Quested, Тони (27 марта 2012). «Ворота - не преграда для предприятия Bango» . Деловой еженедельник . Проверено 28 марта 2012 года .