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
- ↑ "Resumen de acceso de Mike Burrows" (PDF) . Archivos de TI . Consultado el 11 de mayo de 2025 .
- ↑ 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.
- ↑ 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 .
- 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 .
- 1 2 "El premio Mark Weiser" . ACM SIGOPS . Consultado el 5 de julio de 2019 .
- 1 2 Burrows, Michael (1988). Intercambio eficiente de datos (PDF) (tesis doctoral). Universidad de Cambridge.
- ↑ Michael Burrows en el Proyecto de Genealogía Matemática
- ↑ Michael Burrows en el servidor de bibliografía DBLP
- ↑ 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 .
- ↑ 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 .
- ↑ 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 .
- 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 ).
- ↑ "Ganadores de los Premios Dvorak 1996" . citivu.com. Archivado del original el 8 de agosto de 2007.
- ↑ "Michael Burrows" . angreiter.com.
- ↑ 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 .
- ↑ 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) .
- ↑ "Ganador de las Medallas al Mérito de la IET 2019" .
- Nacimientos en 1963
- científicos informáticos británicos
- empleados de Google
- Miembros británicos de la Real Sociedad
- Personas vivas
- Antiguos alumnos del University College de Londres
- Antiguos alumnos del Churchill College, Cambridge
- académicos de seguridad informática
- Personas de Digital Equipment Corporation
- esbozos de especialista en informática