De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

Departamento de Informática y Tecnología
Laboratorio de Computación de la Universidad de Cambridge.jpg
El Laboratorio de Computación se encuentra en el edificio William Gates en West Cambridge desde agosto de 2001.
Nombres anterioresLaboratorio de Computación Laboratorio de
Matemáticas
Establecido14 de mayo de 1937 ( 14 de mayo de 1937 )
Jefe del departamento deProfesora Ann Copestake
Personal docente35
Personal administrativo25
Postgraduados155
Localización
Edificio William Gates, Cambridge
,
Reino Unido

52 ° 12′39 ″ N 0 ° 05′31 ″ E / 52.210925 ° N 0.092022 ° E / 52.210925; 0.092022 ( Laboratorio de Computación de la Universidad de Cambridge ) Coordenadas: 52.210925 ° N 0.092022 ° E52 ° 12′39 ″ N 0 ° 05′31 ″ E /  / 52.210925; 0.092022 ( Laboratorio de Computación de la Universidad de Cambridge )
Sitio webwww .cst .cam .ac .uk

El Departamento de Ciencias de la Computación y Tecnología , anteriormente el Laboratorio de Computación , es el departamento de ciencias de la computación de la Universidad de Cambridge . En 2007 , empleaba a 35 miembros del personal académico, 25 miembros del personal de apoyo, 35 miembros del personal de investigación afiliados y aproximadamente 155 estudiantes de investigación. La actual jefa de departamento es la profesora Ann Copestake .

Historia [ editar ]

El Departamento se fundó como Laboratorio de Matemáticas bajo la dirección de John Lennard-Jones el 14 de mayo de 1937, aunque no se estableció correctamente hasta después de la Segunda Guerra Mundial . El nuevo laboratorio estaba ubicado en el ala norte de la antigua Escuela de Anatomía, en el Sitio de Nuevos Museos . Desde su fundación, se pretendía "brindar un servicio informático de 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 informática en el mundo, a partir de 1953.

En octubre de 1946, Maurice Wilkes comenzó a trabajar en EDSAC ( Electronic Delay Storage Automatic Calculator ), que posteriormente se convirtió en la primera computadora con programa almacenado totalmente operativo y práctico del mundo cuando ejecutó su primer programa el 6 de mayo de 1949. Inspiró la primera computadora comercial del mundo , LEO . Fue reemplazado por EDSAC 2 , la primera computadora microcodificada y cortada en bits, en 1958.

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 , basadas en la máquina Ferranti Atlas . Titan entró en pleno funcionamiento en 1964 y EDSAC 2 se retiró al año siguiente. En 1967, se inauguró en Titán un servicio de tiempo compartido completo ('24 / 7 ') multiusuario para hasta 64 usuarios.

En 1970, el Laboratorio de Matemáticas pasó a llamarse Laboratorio de Computación , con departamentos separados para Docencia e Investigación y el Servicio de Computación, que brinda servicios de computación a la universidad y sus facultades. Los dos no se separaron por completo hasta 2001, cuando el Laboratorio de Computación se mudó 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ó Cambridge Computer Lab Ring , una sociedad de graduados que lleva el nombre de la red Cambridge Ring .

Actual [ editar ]

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

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

Personal [ editar ]

Profesores [ editar ]

A partir de 2016, el laboratorio empleó a 19 profesores: [2] Los notables incluyen

  1. Ross J. Anderson , [3] profesor de ingeniería de seguridad
  2. Alan F. Blackwell , profesor de diseño interdisciplinario
  3. Ann Copestake , [4] Profesora de Lingüística Computacional
  4. Jon Crowcroft , profesor Marconi de sistemas de comunicaciones
  5. John Daugman , profesor de visión por computadora y reconocimiento de patrones
  6. Andy Hopper , [5] profesor de tecnología informática
  7. Neil Lawrence , profesor de Deepmind de aprendizaje automático
  8. Cecilia Mascolo , profesora de sistemas móviles
  9. Alan Mycroft , profesor de informática
  10. Lawrence Paulson , profesor de lógica computacional
  11. Peter Robinson , profesor de tecnología informática

Otros miembros del personal incluyen a Robert Watson y Markus Kuhn

Véase también: Categoría: Miembros del Laboratorio de Computación de la Universidad de Cambridge

Antiguo personal [ editar ]

El personal anterior incluye:

  • Jean Bacon
  • James Davenport
  • Andrew D. Gordon
  • Philip Hazel
  • Robin Milner [6]
  • Roger Needham [7]
  • Martin Richards [8]
  • Karen Spärck Jones [9]
  • David Wheeler [10]
  • Maurice Wilkes [11]
  • Neil Wiseman
  • Neil Dodgson
  • Mike Gordon

Jefes del Laboratorio de Computación [ editar ]

El laboratorio ha sido dirigido por:

  • 1949 Maurice Wilkes
  • 1980 Roger Needham
  • 1996 Robin Milner
  • 1999 Ian Leslie
  • 2004 Andy Hopper [5]

Logros e innovaciones [ editar ]

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

  • EDSAC : la primera computadora electrónica práctica con programas almacenados del mundo (1949-1958)
  • Subrutina (1951)
  • OXO - primer videojuego del mundo (1952)
  • EDSAC 2 (1958-1965)
  • Autocode : uno de los primeros lenguajes de programación de alto nivel (1961)
  • Titan : la primera computadora de tiempo compartido multiusuario (1964-1973)
  • Phoenix : IBM 370 con sistema operativo desarrollado localmente y extensiones de hardware (1973-1995)
  • Sistema operativo TRIPOS - se convirtió más tarde en la base de AmigaDOS
  • Lenguaje de programación BCPL - antepasado 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 Trojan Room : la primera cámara web del mundo (1993)
  • Reconocimiento de iris : identificación biométrica con una tasa de aceptación falsa extremadamente pequeña
  • Nemesis : sistema operativo de microkernel en tiempo real
  • Sistema de insignias activo - [12]
  • Active Bat : sistema de posicionamiento ultrasónico para interiores
  • Xen - monitor de máquina virtual (2003 - presente )
  • Isabelle y HOL - probadores interactivos de teoremas

Impacto en la empresa comercial [ editar ]

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

Alumnos notables (industrias) [ editar ]

  • Demis Hassabis
  • Eben Upton
  • Bjarne Stroustrup
  • John Bates
  • Ian Pratt
  • Simon Crosby
  • David L Tennenhouse
  • Michael Burrows
  • Andrew Herbert
  • Andy Harter
  • Andy Hopper

Referencias [ editar ]

  1. ^ "Avisos de la Junta General - Reportero de la Universidad de Cambridge 6473: cambio de nombre del laboratorio de computación" . Universidad de Cambridge. pag. 753 . Consultado el 18 de julio de 2017 .
  2. ^ "Personal académico en el laboratorio de informática" . Universidad de Cambridge. Archivado desde el original el 25 de marzo de 2015.
  3. ^ "ANDERSON, Prof. Ross John" . Quién es quién . ukwhoswho.com . 2014 (edición en línea a través de Oxford University Press  ed.). A & C Black, una impresión de Bloomsbury Publishing plc. (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
  4. ^ Publicaciones de Ann Copestake indexadas por Google Scholar
  5. ^ a b "TOLVA, Prof. Andrew" . Quién es quién . ukwhoswho.com . 2015 (  edición en línea de Oxford University Press ). A & C Black, una impresión de Bloomsbury Publishing plc. (se requiere suscripción o membresía a una biblioteca pública del Reino Unido ) (se requiere suscripción)
  6. ^ Hoffmann, L. (2010). "Robin Milner: el pragmático elegante" . Comunicaciones de la ACM . 53 (6): 20. doi : 10.1145 / 1743546.1743556 .
  7. ^ 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 .
  8. ^ Martin Richards en elservidor de bibliografía DBLP
  9. ^ Tait, JI (2007). " Karen Spärck Jones ". Lingüística computacional . 33 (3): 289-291. doi : 10.1162 / coli.2007.33.3.289 .
  10. ^ Campbell-Kelly, M. (2006). "David John Wheeler. 9 de febrero de 1927 - 13 de diciembre de 2004: elegido FRS 1981" . Memorias biográficas de miembros de la Royal Society . 52 : 437. doi : 10.1098 / rsbm.2006.0030 .
  11. ^ 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 . doi : 10.1098 / rsbm.2013.0020 .
  12. ^ url = " http://www.cl.cam.ac.uk/research/dtg/attarchive/ab.html Archivado el 27 de enero de 2013 en Wayback Machine "
  13. ^ Quested, Tony (24 de febrero de 2012). "Clúster de tecnología de Cambridge que prospera gracias al dinamismo universitario" . Business Weekly . Consultado el 13 de marzo de 2012 .
  14. ^ 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 inversiones no universitarias" . Cabume . Cambridge . Consultado el 14 de marzo de 2012 .
  15. ^ Quested, Tony (27 de marzo de 2012). "Gates no hay barrera para la empresa Bango" . Business Weekly . Consultado el 28 de marzo de 2012 .