stringtranslate.com

Departamento de Ciencias Informáticas y Tecnología, Universidad de Cambridge

El Departamento de Ciencias de la Computación y Tecnología , anteriormente Laboratorio de Computación , es el departamento de ciencias de la computación de la Universidad de Cambridge . En 2023, empleaba a 56 profesores , 45 miembros del personal de apoyo, 105 miembros del personal de investigación y alrededor de 205 estudiantes de investigación. [1] El actual director del departamento es el profesor Alastair Beresford.

Historia

El departamento fue fundado como Laboratorio de Matemáticas bajo la dirección de John Lennard-Jones el 14 de mayo de 1937, aunque no se estableció de manera adecuada hasta después de la Segunda Guerra Mundial . [2] El nuevo laboratorio estaba ubicado en el ala norte de la antigua Escuela de Anatomía, en el sitio de los Nuevos Museos . Cuando se fundó, se pretendía "ofrecer un servicio informático para uso general y ser un centro para el desarrollo de técnicas computacionales en la Universidad". El Diploma de Cambridge en Ciencias de la Computación fue el primer curso de posgrado impartido en el mundo en informática, y comenzó a impartirse en 1953. [3]

En octubre de 1946, Maurice Wilkes comenzó a trabajar en EDSAC ( Electronic Delay Storage Automatic Calculator ), que posteriormente se convirtió en el primer ordenador de programa almacenado totalmente operativo y práctico del mundo cuando ejecutó su primer programa el 6 de mayo de 1949. [4] Inspiró el primer ordenador empresarial del mundo, LEO . Fue reemplazado por EDSAC 2 , el primer ordenador microcodificado y con bits divididos , en 1958. [5]

En 1961, David Hartley desarrolló Autocode , uno de los primeros lenguajes de programación de alto nivel , para EDSAC 2. También en ese año, se desarrollaron propuestas para Titan , basado en la máquina Atlas de Ferranti . Titan se volvió completamente operativo en 1964 y EDSAC 2 fue retirado al año siguiente. En 1967, se inauguró en Titan un servicio multiusuario de tiempo compartido completo ('24/7') para hasta 64 usuarios.

En 1970, el Laboratorio de Matemáticas pasó a llamarse Laboratorio de Computación , con departamentos separados para la Enseñanza y la Investigación y el Servicio de Computación, que proporcionaban servicios informáticos a la universidad y sus facultades. Los dos no se separaron por completo hasta 2001, cuando el Laboratorio de Computación se trasladó al nuevo edificio William Gates en West Cambridge , cerca de Madingley Road , dejando atrás un Servicio de Computación independiente .

En 2002, el Laboratorio de Computación lanzó el Cambridge Computer Lab Ring , una sociedad de graduados que lleva el nombre de la red Cambridge Ring . [6]

Actual

El 30 de junio de 2017, el Cambridge University Reporter anunció que el Laboratorio de Computación cambiaría su nombre al de Departamento de Ciencias de la Computación y Tecnología a partir del 1 de octubre de 2017, para reflejar el alcance ampliado de su propósito y actividades. [7]

El departamento ofrece actualmente un curso de pregrado de 3 años y un curso de maestría de 1 año (con una gran selección de cursos especializados en varias áreas de investigación). La investigación reciente se ha centrado en la virtualización , la seguridad , la usabilidad , la verificación formal , la semántica formal de los lenguajes de programación , la arquitectura informática , el procesamiento del lenguaje natural , la informática móvil , las redes inalámbricas , la identificación biométrica , la robótica , el enrutamiento , los sistemas de posicionamiento y la sostenibilidad ( "Computación para el futuro del planeta" ). Los miembros han participado en la creación de muchas empresas de TI exitosas del Reino Unido, como Acorn , [8] ARM , [9] nCipher y XenSource . [10] [11]

Personal

Profesores

A partir de 2024 , el departamento emplea a 34 profesores. [12] Entre los más destacados se incluyen:

Otros miembros notables del personal incluyen a Sue Sentance , Robert Watson y Markus Kuhn .

Antiguo personal

El personal anterior incluía:

Responsables del Laboratorio de Computación

El laboratorio ha sido dirigido por:

Logros e innovaciones

Los miembros han tenido impacto en computadoras, máquinas de Turing, microprogramación, subrutinas, redes de computadoras, protocolos móviles, seguridad, lenguajes de programación, kernels, sistemas operativos, seguridad, virtualización, sistemas de credenciales de ubicación, etc. A continuación se muestra una lista.

Impacto en la empresa comercial

Varias empresas han sido fundadas por empleados y graduados. Sus nombres aparecieron en la nueva entrada en 2012. [23] 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 "empapados en formación universitaria e investigación". [24] El Cambridge Computer Lab Ring fue elogiado por su "trabajo incansable" por Andy Hopper en 2012, en su cena de décimo aniversario. [25]

Antiguos alumnos destacados (industrias)

Referencias

  1. ^ "'People - Department of Computer Science'". Universidad de Cambridge. Archivado desde el original el 29 de diciembre de 2022.
  2. ^ "Computer Laboratory - The History of the Computer Lab" (Laboratorio de Computación - La Historia del Laboratorio de Computación). www.cl.cam.ac.uk . Consultado el 6 de mayo de 2024 .
  3. ^ "Una breve historia informal del Laboratorio de Computación". www.cl.cam.ac.uk . Consultado el 6 de mayo de 2024 .
  4. ^ Wilkes, WV ; Renwick, W. (1950). "El EDSAC (calculadora automática de almacenamiento electrónico retardado)". Matemáticas. Comp . 4 (30): 61–65. doi : 10.1090/s0025-5718-1950-0037589-7 .
  5. ^ Wilkes, MV (1992). "EDSAC 2". IEEE Annals of the History of Computing . 14 (4). PDF disponible en "Ver PDF" (expandir "Ver en IEEE"): 49–56. doi :10.1109/85.194055. S2CID  11377060.
  6. ^ "Cambridge Computer Lab Ring". Universidad de Cambridge . Consultado el 28 de marzo de 2012 .
  7. ^ "Avisos de la Junta General – Cambridge University Reporter 6473: Cambio de nombre del Laboratorio de Computación". Universidad de Cambridge. p. 753. Consultado el 18 de julio de 2017 .
  8. ^ "Historia de ARM: de Acorn a Apple". 6 de enero de 2011. Archivado desde el original el 16 de marzo de 2018, vía The Telegraph.
  9. ^ "Primera nota de prensa de ARM" (PDF) . Archivado desde el original (PDF) el 27 de enero de 2016. Consultado el 19 de noviembre de 2015 .
  10. ^ "Xen". SourceForge.net. 2 de octubre de 2003. Consultado el 18 de octubre de 2012 .
  11. ^ Jonathan Corbet (2 de octubre de 2003). «La primera versión estable de Xen». Lwn.net . Consultado el 18 de octubre de 2012 .
  12. ^ "Gente: Facultad". www.cst.cam.ac.uk . Consultado el 6 de mayo de 2024 .
  13. ^ Publicaciones de Ann Copestake indexadas por Google Scholar
  14. ^ "ANDERSON, Prof. Ross John" . Quién es quién . Vol. 2014 (edición en línea a través de Oxford University Press  ed.). A & C Black. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
  15. ^ ab "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 a una biblioteca pública del Reino Unido).
  16. ^ Hoffmann, L. (2010). "Robin Milner: el pragmático elegante". Comunicaciones de la ACM . 53 (6): 20. doi : 10.1145/1743546.1743556 .
  17. ^ Hoare, T .; Wilkes, MV (2004). " Roger Michael Needham CBE FREng. 9 de febrero de 1935 – 1 de marzo de 2003: Elegido FRS 1985". Memorias biográficas de miembros de la Royal Society . 50 : 183. doi :10.1098/rsbm.2004.0014. S2CID  58340004.
  18. ^ Martin Richards en el servidor de bibliografía DBLP
  19. ^ Tait, JI (2007). "Karen Spärck Jones". Lingüística computacional . 33 (3): 289–291. doi : 10.1162/coli.2007.33.3.289 . S2CID  219302075.
  20. ^ Campbell-Kelly, M. (2006). "David John Wheeler. 9 de febrero de 1927 - 13 de diciembre de 2004: Elegido miembro de la Royal Society en 1981". Memorias biográficas de miembros de la Royal Society . 52 : 437. doi : 10.1098/rsbm.2006.0030 .
  21. ^ Campbell-Kelly, M. (2014). «Sir Maurice Vincent Wilkes 26 de junio de 1913 - 29 de noviembre de 2010». Memorias biográficas de miembros de la Royal Society . 60 : 433–454. doi : 10.1098/rsbm.2013.0020 .
  22. ^ url="http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Archivado el 27 de enero de 2013 en Wayback Machine . "
  23. ^ 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 .
  24. ^ Vargas, Lautaro (5 de marzo de 2012). «La Universidad de Cambridge planea un fondo de capital riesgo de 30 millones de libras y abre la puerta a inversiones no universitarias». Cabume . Cambridge . Consultado el 14 de marzo de 2012 .
  25. ^ Quested, Tony (27 de marzo de 2012). "Las puertas no son una barrera para la empresa Bango". Business Weekly . Consultado el 28 de marzo de 2012 .