The Department of Computer Science and Technology, formerly the Computer Laboratory, is an academic department within the School of Technology at the University of Cambridge.
As of 2023, it employed 56 faculty members, 45 support staff, 105 research staff, and about 205 research students.[1] The current Head of Department is Professor Alastair Beresford.
History
The department was founded as the Mathematical Laboratory under the leadership of John Lennard-Jones on 14 May 1937, though it did not get properly established until after World War II.[2] The new laboratory was housed in the North Wing of the former Anatomy School, on the New Museums Site. Upon its foundation, it was intended "to provide a computing service for general use, and to be a centre for the development of computational techniques in the University".
In October 1946, work began under Maurice Wilkes on EDSAC (Electronic Delay Storage Automatic Calculator), which subsequently became the world's first fully operational and practical stored program computer when it ran its first program on 6 May 1949.[3] It inspired the world's first business computer, LEO. It was replaced by EDSAC 2, the first microcoded and bit-sliced computer, in 1958.[4]
The Cambridge Diploma in Computer Science was the world's first postgraduate taught course in computing, starting in 1953.[5]
In 1961, David Hartley developed Autocode, one of the first high-level programming languages, for EDSAC 2. Also in that year, proposals for Titan, based on the Ferranti Atlas machine, were developed. Titan became fully operational in 1964 and EDSAC 2 was retired the following year. In 1967, a full (24/7) multi-user time-shared service for up to 64 users was inaugurated on Titan.
In 1970, the Mathematical Laboratory was renamed the Computer Laboratory, with separate departments for Teaching and Research and the Computing Service, providing computing services to the university and its colleges. The two did not fully separate until 2001, when the Computer Laboratory moved out to the new William Gates building in West Cambridge, off Madingley Road, leaving behind an independent Computing Service.
In 2002, the Computer Laboratory launched the Cambridge Computer Lab Ring, a graduate society designed by Stephen Allott[6] and named after the Cambridge Ring network.[7]
Current
On 30 June 2017, the Cambridge University Reporter announced that the Computer Laboratory would change its name to the Department of Computer Science and Technology from 1 October 2017, to reflect the broadened scope of its purpose and activities.[8]
The department currently offers a 3-year undergraduate course and a 1-year masters course (with a large selection of specialised courses in various research areas). Recent research has focused on virtualisation, security, usability, formal verification, formal semantics of programming languages, computer architecture, natural language processing, mobile computing, wireless networking, biometric identification, robotics, routing, positioning systems and sustainability ("Computing for the future of the planet"). Members have been involved in the creation of many successful UK IT companies such as Acorn,[9]ARM,[10]nCipher and XenSource.[11][12]
Staff
Professors
As of 2024, the department employs 34 professors.[13] Notable ones include:
- Alan F. Blackwell, Professor of Interdisciplinary Design
- Ann Copestake,[14] Professor of Computational Linguistics
- Jon Crowcroft, Marconi Professor of Communications Systems
- Hatice Gunes, Professor of Affective Intelligence and Robotics
- Neil Lawrence , profesor de aprendizaje automático en DeepMind.
- Anil Madhavapeddy , profesor de computación planetaria
- Cecilia Mascolo , Profesora de Sistemas Móviles
- Lawrence Paulson , profesor de lógica computacional
Otros miembros destacados del personal son Sue Sentance , Robert Watson y Markus Kuhn .
Antiguos empleados
Entre los antiguos empleados se incluyen:
Jefes del Laboratorio de Informática
El laboratorio ha estado dirigido por:
- 1949 Maurice Wilkes
- 1980 Roger Needham
- 1996 Robin Milner
- 1999 Ian Leslie
- 2004 Andy Hopper [ 16 ]
- 2018 Ann Copestake
- 2023 Alastair Beresford
Logros e innovaciones
Los miembros han tenido un impacto significativo en áreas como la informática, las máquinas de Turing, la microprogramación, las subrutinas, las redes informáticas, los protocolos móviles, la seguridad, los lenguajes de programación, los núcleos, los sistemas operativos, la virtualización, los sistemas de identificación de ubicación, etc. A continuación se muestra una lista.
- EDSAC – la primera computadora electrónica práctica con programa almacenado del mundo (1949–1958)
- Subrutina (1951)
- OXO – el primer videojuego del mundo (1952)
- EDSAC 2 (1958–1965)
- Autocode : uno de los primeros lenguajes de programación de alto nivel (1961)
- Titan : uno de los primeros ordenadores multiusuario de tiempo compartido (1964-1973).
- Phoenix – IBM 370 con sistema operativo y extensiones de hardware desarrolladas localmente (1973–1995)
- El sistema operativo TRIPOS se convirtió posteriormente en la base de AmigaDOS.
- Lenguaje de programación BCPL – antecesor de C
- Computadora CAP : soporte de hardware para seguridad basada en capacidades.
- Cambridge Ring : una de las primeras redes de área local.
- Sistema de Computación Distribuida de Cambridge
- Cafetera de la Sala Troyana : la primera cámara web del mundo (1993)
- Reconocimiento de iris : identificación biométrica con una tasa de falsos positivos prácticamente nula.
- Nemesis : sistema operativo microkernel en tiempo real
- Sistema de insignias activas – [ 23 ]
- Active Bat : sistema de posicionamiento ultrasónico para interiores
- Xen – monitor de máquinas virtuales (2003– presente )
- Isabelle y HOL : demostradores de teoremas interactivos
- CAD - Alan Grayer, Charles Lang e Ian Braid fueron investigadores que abandonaron el departamento para fundar Shape Data , desarrollar el núcleo CAD Romulus y, posteriormente, el núcleo ACIS , que constituye la base de varios sistemas CAD modernos. Shape Data desarrolló más tarde Parasolid , que se utiliza en muchos sistemas CAD modernos.
Impacto en la actividad empresarial
Varias empresas han sido fundadas por personal y graduados. Sus nombres aparecieron en la nueva entrada en 2012. [ 24 ] Algunos ejemplos citados de empresas exitosas son ARM , Autonomy , Aveva , CSR y Domino . Un factor común que comparten es que el personal clave o los miembros fundadores están "profundamente formados en la universidad y la investigación". [ 25 ] El Cambridge Computer Lab Ring fue elogiado por su "trabajo incansable" por Andy Hopper en 2012, en su cena de décimo aniversario. [ 26 ]
Alumnos destacados (sectores)
Véase también
Referencias
- ↑ "'Personas - Departamento de Informática'Universidad de Cambridge. Archivado del original el 29 de diciembre de 2022.
- ↑ "Laboratorio de Computación - La historia del laboratorio de computación" . www.cl.cam.ac.uk. Consultado el 6 de mayo de 2024 .
- ↑ Wilkes, WV ; Renwick, W. (1950). "The EDSAC (Electronic delay storage automatic calculator)" . Math. Comp . 4 (30): 61– 65. doi : 10.1090/s0025-5718-1950-0037589-7 .
- ↑ Wilkes, MV (1992). "EDSAC 2". IEEE Annals of the History of Computing . 14 (4). PDF disponible mediante "Ver PDF" (expandir "Ver en IEEE"): 49– 56. doi : 10.1109/85.194055 . S2CID 11377060 .
- ↑ "Una breve historia informal del Laboratorio de Computación" . www.cl.cam.ac.uk. Consultado el 6 de mayo de 2024 .
- ↑ Universidad de Cambridge (24 de febrero de 2025). "Laboratorio de Informática de la Universidad de Cambridge: Stephen Allott" . www.cst.cam.ac.uk. Consultado el 12 de mayo de 2025 .
- ↑ "Cambridge Computer Lab Ring" . Universidad de Cambridge . Consultado el 28 de marzo de 2012 .
- ↑ "Avisos de la Junta General – Cambridge University Reporter 6473: Cambio de nombre del Laboratorio de Informática" . Universidad de Cambridge. pág. 753. Consultado el 18 de julio de 2017 .
- ↑ "Historia de ARM: de la bellota a la manzana" . 6 de enero de 2011. Archivado del original el 16 de marzo de 2018 – vía The Telegraph.
- ↑ "Primer comunicado de prensa de ARM" (PDF) . Archivado del original (PDF) el 27 de enero de 2016. Consultado el 19 de noviembre de 2015 .
- ↑ "Xen" . SourceForge.net. 2 de octubre de 2003. Consultado el 18 de octubre de 2012 .
- ↑ Jonathan Corbet (2 de octubre de 2003). "La primera versión estable de Xen" . Lwn.net . Consultado el 18 de octubre de 2012 .
- ↑ "Personas: Profesorado" . www.cst.cam.ac.uk. Consultado el 6 de mayo de 2024 .
- ↑ Publicaciones de Ann Copestake indexadas por Google Académico
- ↑ "ANDERSON, Prof. Ross John" . Quién es quién . Vol. 2014 (edición en línea a través de Oxford University Press ). A & C Black. (Se requiere suscripción o membresía en una biblioteca pública del Reino Unido ).
- 1 2 "HOPPER, Prof. Andrew" . Quién es quién . Vol. 2015 (edición en línea de Oxford University Press ). A & C Black. (Se requiere suscripción o membresía en una biblioteca pública del Reino Unido ).
- ↑ Hoffmann, L. (2010). "Robin Milner: el pragmatista elegante" . Communications of the ACM . 53 (6): 20. doi : 10.1145/1743546.1743556 .
- ↑ Hoare, T. ; Wilkes, MV (2004). "Roger Michael Needham CBE FREng. 9 de febrero de 1935 – 1 de marzo de 2003: Elegido FRS 1985" . Biographical Memoirs of Fellows of the Royal Society . 50 : 183. doi : 10.1098/rsbm.2004.0014 . S2CID 58340004 .
- ↑ Martin Richards en el servidor de bibliografía DBLP
- ↑ Tait, JI (2007). "Karen Spärck Jones" . Lingüística Computacional . 33 (3): 289– 291. doi : 10.1162/coli.2007.33.3.289 . S2CID 219302075 .
- ↑ Campbell-Kelly, M. (2006). "David John Wheeler. 9 de febrero de 1927 - 13 de diciembre de 2004: Elegido FRS 1981" . Biographical Memoirs of Fellows of the Royal Society . 52 : 437. doi : 10.1098/rsbm.2006.0030 .
- ↑ Campbell-Kelly, M. (2014). "Sir Maurice Vincent Wilkes 26 de junio de 1913 - 29 de noviembre de 2010" . Biographical Memoirs of Fellows of the Royal Society . 60 : 433–454 . doi : 10.1098/rsbm.2013.0020 .
- ↑ url=" http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Archivado el 27 de enero de 2013 en Wayback Machine "
- ↑ Quested, Tony (24 de febrero de 2012). "El clúster tecnológico de Cambridge prospera gracias al dinamismo universitario" . Business Weekly . Consultado el 13 de marzo de 2012 .
- ↑ Vargas, Lautaro (5 de marzo de 2012). "La Universidad de Cambridge planea un fondo de capital riesgo de 30 millones de libras esterlinas y abre la puerta a la inversión de fuentes no universitarias" . Cabume . Cambridge . Consultado el 14 de marzo de 2012 .
- ↑ Quested, Tony (27 de marzo de 2012). "Las puertas no son un obstáculo para la empresa Bango" . Business Weekly . Recuperado el 28 de marzo de 2012 .
- Laboratorio de Informática de la Universidad de Cambridge
- 1937 establecimientos en Inglaterra
- Departamentos de informática en el Reino Unido
- Departamentos de la Universidad de Cambridge
- Historia de la informática en el Reino Unido
- Edificios y estructuras de Ove Arup
- Escuela de Tecnología, Universidad de Cambridge