Michael Burrows , FRS (nacido en 1963) es un informático británico y el creador de la transformación Burrows-Wheeler que actualmente trabaja para Google. Nacido en Gran Bretaña, a partir de 2018 vive en Estados Unidos, aunque sigue siendo ciudadano británico. [7] [8] [9]
Michael Burrows | |
---|---|
Nació | 1963 (57 a 58 años) [ cita requerida ] |
Nacionalidad | británico |
Ciudadanía | Reino Unido |
alma mater | University College London (BSc) Universidad de Cambridge (PhD) |
Conocido por | Transformada de Burrows-Wheeler [1] [2] |
Premios | Miembro de la Royal Society (2013) [3] Premio SIGOPS Mark Weiser (2003) [4] IET Achievement Medal (2019) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Google University of Cambridge Digital Equipment Corporation AltaVista Microsoft |
Tesis | Intercambio de datos eficiente (1988) |
Asesor de doctorado | David Wheeler [5] [6] |
Influencias | Roger Needham [5] |
Sitio web | investigación |
Educación
Burrows estudió Ingeniería Electrónica con Ciencias de la Computación en el University College de Londres y luego completó su doctorado en el Laboratorio de Computación de la Universidad de Cambridge , donde fue un estudiante de posgrado de Churchill College, Cambridge supervisado por David Wheeler . [5] [10] [11]
Carrera profesional
Al salir de Cambridge, se trasladó a Estados Unidos y trabajó en el Systems Research Center (SRC) de Digital Equipment Corporation (DEC) donde, junto a Louis Monier , fue uno de los dos principales creadores de AltaVista . [12]
Tras la adquisición de DEC por parte de Compaq , Burrows trabajó brevemente para Microsoft en la prevención del spam . [11] [13] Poco tiempo después, se fue a Google. [14]
Después de sus primeros trabajos en la Universidad de Cambridge, donde investigó microkernels [ cita requerida ] y cuestiones básicas de seguridad, continuó ampliando ese trabajo a medida que los sistemas se implementaban a gran escala en Internet.
Durante su empleo en Google, Burrows ha estudiado concurrencia y sincronización y programación en general , especialmente con respecto al lenguaje C ++ . [ cita requerida ]
Premios y honores
Burrows fue elegido miembro de la Royal Society en 2013. [11] 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 primer motor de búsqueda 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 en muchas otras áreas de la informática y la ingeniería que van desde la compresión hasta la sincronización y la medición del rendimiento. Es uno de los ingenieros que dirigió el diseño de la infraestructura informática distribuida de Google. [3]
Burrows recibió el premio SIGOPS Mark Weiser en 2003. [4]
Recibió la Medalla al Logro IET (Ingeniería Informática) en 2019. [15]
Referencias
- ^ Burrows, Michael ; Wheeler, David J. (1994), algoritmo de compresión de datos sin pérdida de clasificación de bloques , Informe técnico 124, Digital Equipment Corporation
- ^ Salson, M .; Lecroq, T .; Léonard, M .; Mouchard, L. (2009). "Un algoritmo de cuatro etapas para actualizar una transformación de Burrows-Wheeler". Informática Teórica . 410 (43): 4350. doi : 10.1016 / j.tcs.2009.07.016 .
- ^ a b Anon (2013). "Dr. Michael Burrows FRS" . Londres: royalsociety.org. Archivado desde el 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 compañeros está disponible bajo la licencia internacional Creative Commons Attribution 4.0 ". - "Términos, condiciones y políticas de la Royal Society" . Archivado desde el original el 25 de septiembre de 2015 . Consultado el 9 de marzo de 2016 .CS1 maint: bot: estado de URL original desconocido ( enlace )
- ^ a b "El premio Mark Weiser" . SIGOPS ACM . Consultado el 5 de julio de 2019 .
- ^ a b c 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 elservidor de bibliografía DBLP
- ^ Savage, S .; Burrows, M .; Nelson, G .; Sobalvarro, P .; Anderson, T. (1997). "Eraser: un detector de carrera de datos dinámicos para programas multiproceso". Transacciones ACM en sistemas informáticos . 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) . Transacciones ACM sobre lenguajes y sistemas de programación . 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 e Ingeniería . 426 (1871): 233. Bibcode : 1989RSPSA.426..233B . doi : 10.1098 / rspa.1989.0125 . S2CID 61768542 .
- ^ a b c "BURROWS, Dr. Michael" . Quién es quién . ukwhoswho.com . 2017 ( 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)
- ^ "Ganadores de los premios Dvorak 1996" . citivu.com. Archivado desde el original el 8 de agosto de 2007.
- ^ "Michael Burrows" . angreiter.com.
- ^ Lu, Crystal (12 de enero de 2007). "El genio: viaje modesto de Mike Burrows a través de Silicon Valley" . El Cardinal Inquirer . Archivado desde el original el 17 de febrero de 2008 . Consultado el 1 de julio de 2008 .
- ^ "Ganador de las medallas de logros IET 2019" .