Департамент компьютерных наук и технологий Кембриджского университета
 Компьютерная лаборатория размещается в здании Уильяма Гейтса в Западном Кембридже с августа 2001 года. | |
Прежние имена | Компьютерная лаборатория Математическая лаборатория |
|---|---|
| Учредил | 14 мая 1937 г. |
| Начальник отдела | Профессор Аластер Бересфорд |
Академический состав | 35 |
Административный персонал | 25 |
| Аспиранты | 155 |
| Расположение | Здание Уильяма Гейтса, Кембридж , Великобритания 52 ° 12'40 "N 0 ° 05'31" E / 52,211 ° N 0,092 ° E |
| Веб-сайт | www |
Кафедра компьютерных наук и технологий , ранее называвшаяся Компьютерной лабораторией , является компьютерных наук кафедрой Кембриджского университета . По состоянию на 2023 год [update] в нем работало 56 преподавателей , 45 вспомогательных сотрудников, 105 научных сотрудников и около 205 студентов-исследователей. [1] Нынешний заведующий кафедрой - профессор Аластер Бересфорд.
История [ править ]
Отдел был основан как Математическая лаборатория под руководством Джона Леннарда-Джонса 14 мая 1937 года, но получил должное распространение только после Второй мировой войны . [2] Новая лаборатория разместилась в северном крыле бывшей анатомической школы на территории Новых музеев . При его основании он был предназначен «предоставлять вычислительные услуги для общего пользования и быть центром развития вычислительных технологий в университете». Кембриджский диплом по компьютерным наукам был первым в мире курсом по информатике для аспирантов, начиная с 1953 года. [3]
началась работа В октябре 1946 года под руководством Мориса Уилкса над EDSAC ( электронным автоматическим калькулятором с задержкой хранения ), который впоследствии стал первым в мире полностью работоспособным и практичным компьютером с хранимыми программами , когда он запустил свою первую программу 6 мая 1949 года. [4] Он вдохновил на создание первого в мире бизнес-компьютера LEO . В 1958 году на смену ему пришел EDSAC 2 , первый компьютер с микрокодированием и побитовой нарезкой. [5]
В 1961 году Дэвид Хартли разработал Autocode , один из первых языков программирования высокого уровня , для EDSAC 2 . Также в том же году были разработаны предложения по «Титану» , основанному на машине «Ферранти Атлас» . Титан вступил в полную эксплуатацию в 1964 году, а в следующем году EDSAC 2 был выведен из эксплуатации. В 1967 году на Титане была открыта полноценная многопользовательская служба с разделением времени («24 часа в сутки, 7 дней в неделю»), рассчитанная на 64 пользователя.
В 1970 году математическая лаборатория была переименована в Компьютерную лабораторию с отдельными отделами преподавания и исследований, а также вычислительной службой, предоставляющей компьютерные услуги университету и его колледжам. Эти две компании не разделились полностью до 2001 года, когда Компьютерная лаборатория переехала в новое здание Уильяма Гейтса в Западном Кембридже , недалеко от Мэдингли-роуд , оставив после себя независимую вычислительную службу .
В 2002 году Компьютерная лаборатория запустила Cambridge Computer Lab Ring — общество выпускников, названное в честь сети Cambridge Ring . [6]
Текущий [ править ]
30 июня 2017 года репортер Кембриджского университета объявил, что с 1 октября 2017 года Компьютерная лаборатория изменит свое название на Департамент компьютерных наук и технологий, чтобы отразить расширение масштабов ее целей и деятельности. [7]
В настоящее время кафедра предлагает 3-летний курс бакалавриата и 1-летний курс магистратуры (с большим выбором специализированных курсов в различных областях исследований). Недавние исследования были сосредоточены на виртуализации , безопасности , удобстве использования , формальной проверке , формальной семантике языков программирования , компьютерной архитектуре , обработке естественного языка , мобильных вычислениях , беспроводных сетях , биометрической идентификации , робототехнике , маршрутизации , системах позиционирования и устойчивости ( «Вычисления для будущего»). планеты» ). Участники принимали участие в создании многих успешных британских ИТ- компаний, таких как Acorn , [8] РУКА , [9] nCipher и XenSource . [10] [11]
Персонал [ править ]
Профессора [ править ]
По состоянию на 2024 год [update]На кафедре работают 34 профессора. [12] Среди примечательных из них:
- Алан Ф. Блэквелл , профессор междисциплинарного дизайна
- Энн Копстейк , [13] Профессор компьютерной лингвистики
- Джон Кроукрофт , профессор систем связи Маркони
- Джон Даугман , профессор компьютерного зрения и распознавания образов
- Хатидже Гюнеш , профессор аффективного интеллекта и робототехники
- Нил Лоуренс , Deepmind профессор машинного обучения
- Анил Мадхавапедди , профессор планетарных вычислений
- Сесилия Масколо , профессор мобильных систем
- Лоуренс Полсон , профессор вычислительной логики
Среди других известных сотрудников — Сью Сентанс , Роберт Уотсон , Маркус Кун .
Бывший сотрудник [ править ]
Среди бывших сотрудников:
Руководители компьютерной лаборатории [ править ]
Лабораторию возглавляли:
- 1949 Морис Уилкс
- 1980 Роджер Нидэм
- 1996 Робин Милнер
- 1999 Ян Лесли
- 2004 Энди Хоппер [15]
- 2018 Энн Копстейк
- 2023 Аластер Бересфорд
Достижения и инновации [ править ]
Участники внесли свой вклад в компьютеры, машины Тьюринга,микропрограммирование, подпрограммы, компьютерные сети, мобильные протоколы, безопасность, языки программирования, ядра, ОС, безопасность, виртуализация, значок местоположениясистемы и т. д. Ниже приведен список.
- EDSAC - первый в мире практический электронный компьютер с хранимой программой (1949–1958).
- Подпрограмма (1951)
- OXO – первая в мире видеоигра (1952)
- ЭДСАК 2 (1958–1965)
- Autocode — один из первых языков программирования высокого уровня (1961 г.).
- Титан - ранний многопользовательский компьютер с разделением времени (1964–1973).
- Phoenix - IBM 370 с ОС и аппаратными расширениями местной разработки (1973–1995)
- Операционная система TRIPOS - позже стала основой AmigaDOS.
- Язык программирования BCPL – предок C
- Компьютер CAP — аппаратная поддержка безопасности на основе возможностей
- Cambridge Ring - первая локальная сеть
- Кембриджская распределенная вычислительная система
- Кофейник Trojan Room - первая в мире веб-камера (1993)
- Распознавание радужной оболочки глаза – биометрическая идентификация с исчезающе малым процентом ложных срабатываний.
- Nemesis — микроядро ОС реального времени
- Активная система бейджей – [22]
- Active Bat – ультразвуковая система позиционирования в помещении
- Xen — монитор виртуальных машин (2003– настоящее время )
- Изабель и HOL – интерактивные средства доказательства теорем
- САПР . Исследователи Алан Грейер, Чарльз Лэнг и Ян Брэйд покинули отдел, чтобы разработать ядро Romulus CAD и ядро ACIS , которое составляет основу многих современных САПР.
Влияние на бизнес-предприятие [ править ]
Сотрудники и выпускники основали ряд компаний. Их имена были указаны на новом входе в 2012 году. [23] В качестве примеров успешных компаний можно назвать ARM , Autonomy , Aveva , CSR и Domino . Их объединяет один общий фактор: ключевые сотрудники или члены-учредители «погружены в университетскую подготовку и исследования». [24] Кембриджская компьютерная лаборатория Ring получила похвалу за «неустанную работу» Энди Хоппера в 2012 году на ужине, посвященном ее десятой годовщине. [25]
(отрасли Известные ) выпускники
Ссылки [ править ]
- ^ « 'Люди - Кафедра компьютерных наук' » . Кембриджский университет. Архивировано из оригинала 29 декабря 2022 года.
- ^ «Компьютерная лаборатория – История компьютерной лаборатории» . www.cl.cam.ac.uk. Проверено 6 мая 2024 г.
- ^ «Краткая неофициальная история Компьютерной лаборатории» . www.cl.cam.ac.uk. Проверено 6 мая 2024 г.
- ^ Уилкс, Западная Вирджиния ; Ренвик, В. (1950). «EDSAC (Автоматический калькулятор с электронным запоминающим устройством)» . Математика. Комп . 4 (30): 61–65. дои : 10.1090/s0025-5718-1950-0037589-7 .
- ^ Уилкс, М.В. (1992). «ЭДСАК 2». IEEE Анналы истории вычислений . 14 (4). PDF доступен в разделе «Просмотр PDF» (разверните «Просмотр в IEEE»): 49–56. дои : 10.1109/85.194055 . S2CID 11377060 .
- ^ «Ринг Кембриджской компьютерной лаборатории» . Кембриджский университет . Проверено 28 марта 2012 г.
- ^ «Уведомления Генерального совета – Репортер Кембриджского университета 6473: Переименование компьютерной лаборатории» . Кембриджский университет. п. 753 . Проверено 18 июля 2017 г.
- ^ «История ARM: от Acorn до Apple» . 6 января 2011 г. Архивировано из оригинала 16 марта 2018 г. - через The Telegraph.
- ^ «Первый пресс-релиз ARM» (PDF) . Архивировано из оригинала (PDF) 27 января 2016 года . Проверено 19 ноября 2015 г.
- ^ «Зен» . SourceForge.net. 2 октября 2003 года . Проверено 18 октября 2012 г.
- ^ Джонатан Корбет (2 октября 2003 г.). «Первая стабильная версия Xen» . Lwn.net . Проверено 18 октября 2012 г.
- ^ «Люди: Преподаватели» . www.cst.cam.ac.uk. Проверено 6 мая 2024 г.
- ^ Публикации Энн Копестейк, индексируемые Google Scholar.
- ^ «АНДЕРСОН, профессор Росс Джон» . Кто есть кто . Том. 2014 г. (интернет-издание под ред. Oxford University Press ). А&С Черный. (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Jump up to: Перейти обратно: а б «ХОППЕР, профессор Эндрю» . Кто есть кто . Том. 2015 (онлайн- изд. Oxford University Press ). А&С Черный. (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Хоффманн, Л. (2010). «Робин Милнер: элегантный прагматик» . Коммуникации АКМ . 53 (6): 20. дои : 10.1145/1743546.1743556 .
- ^ Хоар, Т. ; Уилкс, М.В. (2004). « Роджер Майкл Нидхэм CBE FREng. 9 февраля 1935 г. - 1 марта 2003 г.: избран FRS 1985 г.». Биографические мемуары членов Королевского общества . 50 : 183. doi : 10.1098/rsbm.2004.0014 . S2CID 58340004 .
- ^ Мартин Ричардс на DBLP библиографическом сервере
- ^ Тейт, Джи (2007). «Карен Сперк Джонс» . Компьютерная лингвистика . 33 (3): 289–291. дои : 10.1162/coli.2007.33.3.289 . S2CID 219302075 .
- ^ Кэмпбелл-Келли, М. (2006). «Дэвид Джон Уилер. 9 февраля 1927 г. - 13 декабря 2004 г.: избран ФРС 1981 г.» . Биографические мемуары членов Королевского общества . 52 : 437. дои : 10.1098/rsbm.2006.0030 .
- ^ Кэмпбелл-Келли, М. (2014). «Сэр Морис Винсент Уилкс, 26 июня 1913 г. — 29 ноября 2010 г.» . Биографические мемуары членов Королевского общества . 60 : 433–454. дои : 10.1098/rsbm.2013.0020 .
- ^ url=" http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Архивировано 27 января 2013 г. в Wayback Machine "
- ^ В поисках, Тони (24 февраля 2012 г.). «Кембриджский технологический кластер процветает благодаря динамизму университета» . Деловой еженедельник . Проверено 13 марта 2012 г.
- ^ Варгас, Лаутаро (5 марта 2012 г.). «Кембриджский университет планирует создать венчурный фонд в размере 30 миллионов фунтов стерлингов и открывает двери для инвестиций, не связанных с университетами» . Кабуме . Кембридж . Проверено 14 марта 2012 г.
- ^ В поисках, Тони (27 марта 2012 г.). «Ворота не являются преградой для предприятий Банго» . Деловой еженедельник . Проверено 28 марта 2012 г.
- Компьютерная лаборатория Кембриджского университета
- 1937 заведений в Англии
- Факультеты информатики в Соединенном Королевстве
- Кафедры Кембриджского университета
- Учреждения Технологической школы Кембриджского университета
- История вычислений в Соединенном Королевстве
- Лаборатории университетов и колледжей Великобритании