Biography:Michael Burrows
Michael Burrows | |
|---|---|
| Born | 1963 (age 60–61)[citation needed] |
| Nationality | British |
| Citizenship | United Kingdom |
| Alma mater | University College London (BSc) University of Cambridge (PhD) |
| Known for | Burrows–Wheeler transform[1][2] |
| Awards | Fellow of the Royal Society (2013)[3] SIGOPS Mark Weiser Award (2003)[4] IET Achievement Medal (2019) |
| Scientific career | |
| Fields | Computer Science |
| Institutions | Google University of Cambridge Digital Equipment Corporation AltaVista Microsoft |
| Thesis | Efficient Data Sharing (1988) |
| Doctoral advisor | David Wheeler[5][6] |
| Website | research |
Michael Burrows, FRS (born 1963) is a British computer scientist and the creator of the Burrows–Wheeler transform, currently working for Google. Born in Britain, as of 2018 he lives in the United States, although he remains a British citizen.[7][8][9]
Education
Burrows studied Electronic Engineering with Computer Science at University College London and then completed his PhD in the Computer Laboratory, University of Cambridge, where he was a postgraduate student of Churchill College, Cambridge supervised by David Wheeler.[5][10][11]
Career
Upon leaving Cambridge, he moved to USA and worked at the Systems Research Center (SRC) at Digital Equipment Corporation (DEC) where, with Louis Monier, he was one of the two main creators of AltaVista.[12]
Following Compaq's acquisition of DEC, Burrows worked briefly for Microsoft preventing spamming.[11][13] Shortly thereafter he went to Google.[14]
After his early work at the University of Cambridge, where he researched microkernels[citation needed] and basic matters of security, he went on to enlarge upon that work as systems were deployed at large scale on the Internet.
During his employment at Google, Burrows has studied concurrency & synchronisation and programming in the large – especially with respect to the C++ language.[citation needed] He designed the Chubby lock service for coordination between server nodes in large distributed systems.[15]
Awards and honours
Burrows was elected a Fellow of the Royal Society in 2013.[11] His nomination reads:
| “ | Dr Michael Burrows is distinguished for his pioneering work on web search and indexing. He was one of the designers of the early search engine Altavista. He was also one of the pioneers of the application of formal logic to the verification of security protocols. He has made seminal contributions to many other areas of computer science and engineering ranging from compression through synchronisation to performance measurement. He is one of the engineers who led the design of Google's distributed computing infrastructure.[3] | ” |
Burrows received the SIGOPS Mark Weiser Award in 2003.[4]
He received the IET Achievement Medal (Computer Engineering) in 2019.[16]
References
- ↑ Template:Burrows Wheeler 1994
- ↑ Salson, M.; Lecroq, T.; Léonard, M.; Mouchard, L. (2009). "A four-stage algorithm for updating a Burrows–Wheeler transform". Theoretical Computer Science 410 (43): 4350. doi:10.1016/j.tcs.2009.07.016.
- ↑ 3.0 3.1 Anon (2013). "Dr Michael Burrows FRS". London: royalsociety.org. https://royalsociety.org/people/michael-burrows-11174/. One or more of the preceding sentences incorporates text from the royalsociety.org website where: "All text published under the heading 'Biography' on Fellow profile pages is available under Creative Commons Attribution 4.0 International License." --"Royal Society Terms, conditions and policies". https://royalsociety.org/about-us/terms-conditions-policies/.
- ↑ 4.0 4.1 "The Mark Weiser Award". ACM SIGOPS. https://www.sigops.org/awards/mw/.
- ↑ 5.0 5.1 Burrows, Michael (1988). Efficient Data Sharing (PDF) (PhD thesis). University of Cambridge.
- ↑ Michael Burrows at the Mathematics Genealogy Project
- ↑ {{DBLP}} template missing ID and not present in Wikidata.
- ↑ Savage, S.; Burrows, M.; Nelson, G.; Sobalvarro, P.; Anderson, T. (1997). "Eraser: A dynamic data race detector for multithreaded programs". ACM Transactions on Computer Systems 15 (4): 391. doi:10.1145/265924.265927.
- ↑ Abadi, M. N.; Burrows, M.; Lampson, B.; Plotkin, G. (1993). "A calculus for access control in distributed systems". ACM Transactions on Programming Languages and Systems 15 (4): 706. doi:10.1145/155183.155225. http://homepages.inf.ed.ac.uk/gdp/publications/Calculus_for_Access_Control.pdf.
- ↑ Burrows, M.; Abadi, M.; Needham, R. M. (1989). "A Logic of Authentication". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 426 (1871): 233. doi:10.1098/rspa.1989.0125. Bibcode: 1989RSPSA.426..233B.
- ↑ 11.0 11.1 11.2 ",". Who's Who. 2017 (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. https://www.ukwhoswho.com/view/article/oupww/whoswho/U260924. (subscription or UK public library membership required)
- ↑ "1996 Dvorak Awards Winners". citivu.com. http://www.citivu.com/dvorak/96awds.html.
- ↑ "Michael Burrows". angreiter.com. http://www.langreiter.com/space/Michael+Burrows.
- ↑ Lu, Crystal (12 January 2007). "The Genius: Mike Burrows' self-effacing journey through Silicon Valley". The Cardinal Inquirer. http://www.stanford.edu/group/gpj/cgi-bin/drupal/?q=node/60.
- ↑ Burrows, Mike (2006). "The Chubby lock service for loosely-coupled distributed systems". 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI). https://research.google/pubs/pub27897/.
- ↑ "Winner of IET Achievement Medals 2019". https://conferences.theiet.org/achievement/winners/achievement/achieve-medals-winners.cfm.
 |  |
