Michael Burrows , FRS (geb. 1963), ist ein britischer Informatiker, einer der Entwickler von AltaVista und Mitautor der ersten Veröffentlichung zur Burrows-Wheeler-Transformation . Geboren in Großbritannien, lebt er seit 2018 in den Vereinigten Staaten, besitzt aber weiterhin die britische Staatsbürgerschaft. [ 8 ] [ 9 ] [ 10 ]

Ausbildung

Burrows studierte Elektrotechnik mit Informatik am University College London und promovierte anschließend im Computerlabor der Universität Cambridge , wo er als Doktorand des Churchill College unter der Betreuung von David Wheeler tätig war . [ 3 ] [ 11 ] [ 12 ]

Karriere

Nach seinem Weggang aus Cambridge zog er in die USA und arbeitete im Systems Research Center (SRC) der Digital Equipment Corporation (DEC), wo er zusammen mit Louis Monier einer der beiden Hauptentwickler von AltaVista war . [ 13 ]

Nach der Übernahme von DEC durch Compaq arbeitete Burrows kurzzeitig für Microsoft im Bereich Spam- Bekämpfung . [ 12 ] [ 14 ] Kurz darauf wechselte er zu Google. [ 15 ]

Nach seinen frühen Arbeiten an der Universität Cambridge, wo er Mikrokernel und grundlegende Sicherheitsfragen erforschte, baute er diese Arbeit aus, als Systeme im Internet in großem Umfang eingesetzt wurden.

Während seiner Tätigkeit bei Google beschäftigte sich Burrows mit Parallelverarbeitung und Synchronisierung sowie mit der Programmierung großer Systeme – insbesondere mit der Programmiersprache C++ . Er entwickelte den Chubby-Lock-Dienst zur Koordination zwischen Serverknoten in großen verteilten Systemen. [ 16 ]

Auszeichnungen und Ehrungen

Burrows wurde 2013 zum Mitglied der Royal Society gewählt. [ 12 ] In seiner Nominierung heißt es:

Dr. Michael Burrows zeichnet sich durch seine Pionierarbeit auf dem Gebiet der Websuche und -indexierung aus. Er war einer der Entwickler der frühen Suchmaschine Altavista und einer der Pioniere bei der Anwendung formaler Logik zur Verifizierung von Sicherheitsprotokollen. Darüber hinaus leistete er wegweisende Beiträge zu vielen weiteren Bereichen der Informatik und des Ingenieurwesens, von der Komprimierung über die Synchronisierung bis hin zur Leistungsmessung. Er gehörte zu den Ingenieuren, die maßgeblich an der Entwicklung der verteilten Recheninfrastruktur von Google beteiligt waren. [ 1 ]

Burrows erhielt 2003 den SIGOPS Mark Weiser Award . [ 2 ]

Im Jahr 2019 wurde ihm die IET Achievement Medal (Computer Engineering) verliehen. [ 17 ]

Referenzen

  1. ^ a b Anon (2013). „Dr. Michael Burrows FRS“ . London: royalsociety.org. Archiviert vom Original am 23. November 2015.Einer oder mehrere der vorhergehenden Sätze enthalten Text von der Webseite royalsociety.org, wo Folgendes zu finden ist:

    „Alle unter der Überschrift ‚Biografie‘ auf den Profilseiten der Mitglieder veröffentlichten Texte stehen unter der Creative Commons Attribution 4.0 International License .“ – „Nutzungsbedingungen und Richtlinien der Royal Society“ . Archiviert vom Original am 25. September 2015. Abgerufen am 9. März 2016 .

  2. ^ a b „The Mark Weiser Award“ . ACM SIGOPS . Abgerufen am 5. Juli 2019 .
  3. ^ a b Burrows, Michael (1988). Effizienter Datenaustausch (PDF) (Dissertation). Universität Cambridge.
  4. ^ Michael Burrows beim Mathematics Genealogy Project
  5. ^ „Mike Burrows Zugriffszusammenfassung“ (PDF) . Archives of IT . Abgerufen am 11. Mai 2025 .
  6. ^ Burrows, Michael ; Wheeler, David J. (1994). „Ein verlustfreier Datenkomprimierungsalgorithmus mittels Blocksortierung“ (PDF) . Technischer Bericht 124, Digital Equipment Corporation. Archiviert vom Original (PDF) am 15. Dezember 2021.
  7. ^ Salson, M.; Lecroq, T.; Léonard, M.; Mouchard, L. (2009). „Ein vierstufiger Algorithmus zur Aktualisierung einer Burrows-Wheeler-Transformation“ . Theoretical Computer Science . 410 (43): 4350. doi : 10.1016/j.tcs.2009.07.016 .
  8. ^ Michael Burrows auf dem DBLP -Bibliographieserver
  9. Savage , S.; Burrows, M.; Nelson, G.; Sobalvarro, P.; Anderson, T. (1997). „Eraser: Ein dynamischer Datenkonfliktdetektor für Multithread-Programme“. ACM Transactions on Computer Systems . 15 (4): 391. CiteSeerX 10.1.1.175.3886 . doi : 10.1145/265924.265927 . S2CID 1492924 .  
  10. Abadi , M. N.; Burrows , M .; Lampson, B .; Plotkin, G. (1993). „Ein Kalkül für die Zugriffskontrolle in verteilten Systemen“ (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). „Eine Logik der Authentifizierung“. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences . 426 (1871): 233. Bibcode : 1989RSPSA.426..233B . doi : 10.1098/rspa.1989.0125 . S2CID 61768542 . 
  12. ^ a b c „BURROWS, Dr. Michael“ . Who's Who . Bd. 2017 (Online-Ausgabe Oxford University Press  ). Oxford: A & C Black.(Abonnement oder Mitgliedschaft in einer öffentlichen Bibliothek in Großbritannien erforderlich.)
  13. ^ „Dvorak-Preisträger 1996“ . citivu.com. Archiviert vom Original am 8. August 2007.
  14. ^ "Michael Burrows" . angreiter.com.
  15. ^ Lu, Crystal (12. Januar 2007). „Das Genie: Mike Burrows’ bescheidene Reise durch das Silicon Valley“ . The Cardinal Inquirer . Archiviert vom Original am 17. Februar 2008. Abgerufen am 1. Juli 2008 .
  16. ^ Burrows, Mike (2006). „Der Chubby-Lock-Dienst für lose gekoppelte verteilte Systeme“ . 7. USENIX-Symposium über Betriebssystemdesign und -implementierung (OSDI) .
  17. ^ "Gewinner der IET Achievement Medals 2019" .