stringtranslate.com

Michael Burrows

Michael Burrows , FRS (nacido en 1963) es un informático británico y el creador de la transformada de Burrows-Wheeler , que actualmente trabaja para Google. Nacido en Gran Bretaña, en 2018 vive en los Estados Unidos, aunque sigue siendo ciudadano británico. [7] [8] [9]

Educación

Burrows estudió Ingeniería Electrónica y 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 estudiante de posgrado del Churchill College, Cambridge supervisado por David Wheeler . [3] [10] [11]

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 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 después se fue a Google. [14]

Después de sus primeros trabajos en la Universidad de Cambridge, donde investigó sobre micronúcleos [ cita requerida ] y cuestiones básicas de seguridad, continuó ampliando ese trabajo a medida que se implementaban sistemas a gran escala en Internet.

Durante su empleo en Google, Burrows estudió concurrencia y sincronización y programación a gran escala , especialmente con respecto al lenguaje C++ . [ cita requerida ] Diseñó el servicio de bloqueo Chubby para la coordinación entre nodos de servidor en grandes sistemas distribuidos. [15]

Premios y honores

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

El Dr. Michael Burrows es reconocido por su trabajo pionero en la 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 ciencia y la ingeniería informática, desde la compresión hasta la sincronización y la medición del rendimiento. Es uno de los ingenieros que lideraron el diseño de la infraestructura informática distribuida de Google. [1]

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

Recibió la Medalla de Logro del IET (Ingeniería Informática) en 2019. [16]

Referencias

  1. ^ ab 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 miembros está disponible bajo la licencia Creative Commons Attribution 4.0 International License ". -- "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 .{{cite web}}: CS1 maint: bot: estado de URL original desconocido ( enlace )

  2. ^ ab "El premio Mark Weiser". ACM SIGOPS . Consultado el 5 de julio de 2019 .
  3. ^ ab Burrows, Michael (1988). Intercambio eficiente de datos (PDF) (tesis doctoral). Universidad de Cambridge.
  4. ^ Michael Burrows en el Proyecto de Genealogía Matemática
  5. ^ Burrows, Michael; Wheeler, David J. (1994), Un algoritmo de compresión de datos sin pérdida por ordenación de bloques, Informe técnico 124, Digital Equipment Corporation
  6. ^ Salson, M.; Lecroq, T.; Léonard, M.; Mouchard, L. (2009). "Un algoritmo de cuatro etapas para actualizar una transformada de Burrows-Wheeler". Ciencias de la Computación Teórica . 410 (43): 4350. doi : 10.1016/j.tcs.2009.07.016 .
  7. ^ Michael Burrows en el servidor de bibliografía DBLP
  8. ^ Savage, S.; Burrows, M.; Nelson, G.; Sobalvarro, P.; Anderson, T. (1997). "Eraser: Un detector dinámico de carreras de datos para programas multihilo". ACM Transactions on Computer Systems . 15 (4): 391. CiteSeerX 10.1.1.175.3886 . doi :10.1145/265924.265927. S2CID  1492924. 
  9. ^ 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. 
  10. ^ 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.
  11. ^ abc "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 membresía a una biblioteca pública del Reino Unido).
  12. ^ "Ganadores de los Premios Dvorak 1996". citivu.com. Archivado desde el original el 8 de agosto de 2007.
  13. ^ "Michael Burrows". angreiter.com.
  14. ^ Lu, Crystal (12 de enero de 2007). «El genio: el modesto viaje de Mike Burrows por Silicon Valley». The Cardinal Inquirer . Archivado desde el original el 17 de febrero de 2008. Consultado el 1 de julio de 2008 .
  15. ^ Burrows, Mike (2006). "El servicio de bloqueo Chubby para sistemas distribuidos de acoplamiento flexible". 7.º Simposio USENIX sobre diseño e implementación de sistemas operativos (OSDI) .
  16. ^ "Ganador de las medallas de logros del IET 2019".


  • en
  • a
  • mi