Articulo de referencia

Michael Burrows (científico informático)

{{cite web |title=Mike Burrows Access Summary |url=https://archivesit.org.uk/wp-content/uploads/2025/04/Mike-Burrows-Access-Summary.pdf |website=Archives of IT |access-date=11 M...

Michael Burrows , FRS (nacido en 1963) es un científico informático británico, uno de los creadores de AltaVista y coautor del artículo que describió por primera vez la transformada de Burrows-Wheeler . Nacido en Gran Bretaña, desde 2018 reside en Estados Unidos, aunque conserva la ciudadanía británica. [ 8 ] [ 9 ] [ 10 ]

Educación

Burrows estudió Ingeniería Electrónica con Ciencias de la Computación en el University College London y luego completó su doctorado en el Laboratorio de Computación de la Universidad de Cambridge , donde fue estudiante de posgrado del Churchill College, Cambridge, bajo la supervisión de David Wheeler . [ 6 ] [ 11 ] [ 12 ]

Carrera

Al dejar Cambridge, se trasladó a Estados Unidos y trabajó en el Centro de Investigación de Sistemas (SRC) de Digital Equipment Corporation (DEC), donde, junto con Louis Monier , fue uno de los dos principales creadores de AltaVista . [ 13 ]

Tras la adquisición de DEC por parte de Compaq , Burrows trabajó brevemente para Microsoft previniendo el spam . [ 12 ] [ 14 ] Poco después pasó a Google. [ 15 ]

Tras sus primeros trabajos en la Universidad de Cambridge, donde investigó los microkernels y cuestiones básicas de seguridad, amplió dicho trabajo a medida que los sistemas se implementaban a gran escala en Internet.

Durante su empleo en Google, Burrows estudió concurrencia y sincronización, así como programación a gran escala , especialmente en lo que respecta al lenguaje C++ . Diseñó el servicio de bloqueo Chubby para la coordinación entre nodos de servidor en grandes sistemas distribuidos. [ 16 ]

Premios y distinciones

Burrows fue elegido miembro de la Royal Society en 2013. [ 12 ] Su nominación dice:

El Dr. Michael Burrows se distingue por su trabajo pionero en búsqueda e indexación web. Fue uno de los diseñadores del motor de búsqueda inicial Altavista. También fue uno de los pioneros en la aplicación de la lógica formal a la verificación de protocolos de seguridad. Ha realizado contribuciones fundamentales a muchas otras áreas de la informática y la ingeniería, desde la compresión y la sincronización hasta la medición del rendimiento. Es uno de los ingenieros que lideraron el diseño de la infraestructura de computación distribuida de Google. [ 4 ]

Burrows recibió el premio SIGOPS Mark Weiser en 2003. [ 5 ]

Recibió la Medalla al Mérito del IET (Ingeniería Informática) en 2019. [ 17 ]

Referencias

  1. "Resumen de acceso de Mike Burrows" (PDF) . Archivos de TI . Consultado el 11 de mayo de 2025 .
  2. Burrows, Michael ; Wheeler, David J. (1994). "Un algoritmo de compresión de datos sin pérdidas con ordenación por bloques" (PDF) . Informe técnico 124, Digital Equipment Corporation. Archivado del original (PDF) el 15 de diciembre de 2021.
  3. Salson, M.; Lecroq, T.; Léonard, M.; Mouchard, L. (2009). "Un algoritmo de cuatro etapas para actualizar una transformada de Burrows-Wheeler" . Theoretical Computer Science . 410 (43): 4350. doi : 10.1016/j.tcs.2009.07.016 .
  4. 1 2 Anónimo (2013). "Dr. Michael Burrows FRS" . Londres: royalsociety.org. Archivado del original el 23 de noviembre de 2015.Una o más de las oraciones anteriores incorporan texto del sitio web royalsociety.org donde:
    Todo el texto publicado bajo el título «Biografía» en las páginas de perfil de los miembros está disponible bajo la Licencia Creative Commons Atribución 4.0 Internacional . — Términos, condiciones y políticas de la Royal Society . Archivado del original el 25 de septiembre de 2015. Consultado el 9 de marzo de 2016 .
  5. 1 2 "El premio Mark Weiser" . ACM SIGOPS . Consultado el 5 de julio de 2019 .
  6. 1 2 Burrows, Michael (1988). Intercambio eficiente de datos (PDF) (tesis doctoral). Universidad de Cambridge.
  7. Michael Burrows en el Proyecto de Genealogía Matemática
  8. Michael Burrows en el servidor de bibliografía DBLP
  9. Savage, S.; Burrows, M.; Nelson, G.; Sobalvarro, P.; Anderson, T. (1997). "Eraser: Un detector dinámico de condiciones de carrera para programas multihilo". ACM Transactions on Computer Systems . 15 (4): 391. CiteSeerX 10.1.1.175.3886 . doi : 10.1145/265924.265927 . S2CID 1492924 .  
  10. Abadi, MN ; Burrows, M .; Lampson, B .; Plotkin, G. (1993). "Un cálculo para el control de acceso en sistemas distribuidos" (PDF) . ACM Transactions on Programming Languages ​​and Systems . 15 (4): 706. CiteSeerX 10.1.1.72.3756 . doi : 10.1145/155183.155225 . hdl : 1842/207 . S2CID 13260508 .  
  11. Burrows, M.; Abadi, M.; Needham, RM (1989). "Una lógica de autenticación". Actas de la Royal Society A: Ciencias Matemáticas, Físicas y de Ingeniería . 426 (1871): 233. Bibcode : 1989RSPSA.426..233B . doi : 10.1098/rspa.1989.0125 . S2CID 61768542 . 
  12. 1 2 3 "BURROWS, Dr. Michael" . Quién es quién . Vol. 2017 (edición en línea de Oxford University Press ). Oxford: A & C Black.    (Se requiere suscripción o ser miembro de una biblioteca pública del Reino Unido ).
  13. "Ganadores de los Premios Dvorak 1996" . citivu.com. Archivado del original el 8 de agosto de 2007.
  14. "Michael Burrows" . angreiter.com.
  15. Lu, Crystal (12 de enero de 2007). "El genio: el viaje modesto de Mike Burrows por Silicon Valley" . The Cardinal Inquirer . Archivado del original el 17 de febrero de 2008. Consultado el 1 de julio de 2008 .
  16. Burrows, Mike (2006). "El servicio de bloqueo Chubby para sistemas distribuidos débilmente acoplados" . 7º Simposio USENIX sobre Diseño e Implementación de Sistemas Operativos (OSDI) .
  17. "Ganador de las Medallas al Mérito de la IET 2019" .