Кафедра компьютерных наук и технологий , ранее Компьютерная лаборатория , является кафедрой компьютерных наук Кембриджского университета . По состоянию на 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. Также в том же году были разработаны предложения для Titan , основанные на машине Ferranti Atlas . Titan полностью вступил в строй в 1964 году, а EDSAC 2 был выведен из эксплуатации в следующем году. В 1967 году на Titan был запущен полноценный ('24/7') многопользовательский сервис с разделением времени для 64 пользователей.
В 1970 году Математическая лаборатория была переименована в Компьютерную лабораторию с отдельными департаментами для обучения и исследований и Вычислительной службы, предоставляющей вычислительные услуги университету и его колледжам. Они не были полностью разделены до 2001 года, когда Компьютерная лаборатория переехала в новое здание Уильяма Гейтса в Западном Кембридже , недалеко от Мэдингли-роуд , оставив после себя независимую Вычислительную службу .
В 2002 году Компьютерная лаборатория основала Cambridge Computer Lab Ring — аспирантское общество, названное в честь сети Cambridge Ring . [6]
30 июня 2017 года издание Cambridge University Reporter объявило, что с 1 октября 2017 года Компьютерная лаборатория изменит свое название на Кафедра компьютерных наук и технологий, чтобы отразить более широкий спектр ее целей и деятельности. [7]
В настоящее время кафедра предлагает 3-летний курс бакалавриата и 1-летний курс магистратуры (с большим выбором специализированных курсов в различных областях исследований). Недавние исследования были сосредоточены на виртуализации , безопасности , удобстве использования , формальной верификации , формальной семантике языков программирования , компьютерной архитектуре , обработке естественного языка , мобильных вычислениях , беспроводных сетях , биометрической идентификации , робототехнике , маршрутизации , системах позиционирования и устойчивости ( «Вычисления для будущего планеты» ). Члены были вовлечены в создание многих успешных британских ИТ- компаний, таких как Acorn , [8] ARM , [9] nCipher и XenSource . [10] [11]
По состоянию на 2024 год [update]на кафедре работают 34 профессора. [12] Среди них следует отметить:
Среди других известных сотрудников — Сью Сентанс , Роберт Уотсон , Маркус Кун .
Бывшие сотрудники:
Лабораторию возглавляли:
Участники внесли вклад в компьютеры, машины Тьюринга, микропрограммирование, подпрограммы, компьютерные сети, мобильные протоколы, безопасность, языки программирования, ядра, ОС, виртуализацию, системы определения местоположения и т. д. Ниже приведен список.
Ряд компаний были основаны сотрудниками и выпускниками. Их названия были представлены на новом входе в 2012 году. [23] Некоторые из приведенных примеров успешных компаний - ARM , Autonomy , Aveva , CSR и Domino. Одним из общих факторов, которые их объединяют, является то, что ключевые сотрудники или члены-основатели «пропитаны университетским обучением и исследованиями». [24] Cambridge Computer Lab Ring получил похвалу за свою «неутомимую работу» от Энди Хоппера в 2012 году на ужине в честь его десятой годовщины. [25]