Michael Burrows (computer scientist): Difference between revisions

Revision as of 10:21, 7 May 2025

Latest revision as of 20:06, 11 May 2025

(3 intermediate revisions by the same user not shown)

Line 10:

| alt =

| caption =

| birth_date = {{Birth year and age|1963}}<ref>{{citationcite web needed|title=Mike Burrows Access Summary |url=https://archivesit.org.uk/wp-content/uploads/2025/04/Mike-Burrows-Access-Summary.pdf |website=Archives of IT |access-date=11 May 20132025}}</ref>

| birth_place =

| death_date = <!-- {{Death date and age|df=yes|YYYY|MM|DD|YYYY|MM|DD}} (death date then birth date) -->

Line 38:

| spouse =

| children =

}}'''Michael Burrows''', [[Fellow of the Royal Society|FRS]] (born 1963) is a British computer scientist and, one of the creators of [[AltaVista]], and co-author of the paper that first described the [[Burrows-Wheeler Transform]]. Born in Britain, as of 2018 he lives in the United States, although he remains a British citizen.<ref name="dblp">{{DBLP|name=Michael Burrows}}</ref><ref>{{Cite journal | last1 = Savage | first1 = S. | last2 = Burrows | first2 = M. | last3 = Nelson | first3 = G. | last4 = Sobalvarro | first4 = P. | last5 = Anderson | first5 = T. | title = Eraser: A dynamic data race detector for multithreaded programs | doi = 10.1145/265924.265927 | journal = ACM Transactions on Computer Systems | volume = 15 | issue = 4 | pages = 391 | year = 1997 | citeseerx = 10.1.1.175.3886 | s2cid = 1492924 }}</ref><ref>{{Cite journal | last1 = Abadi | first1 = M. N. | authorlink1 = Martín Abadi| last2 = Burrows | first2 = M. | authorlink2 = Michael Burrows (computer scientist)| last3 = Lampson | first3 = B. | authorlink3 = Butler Lampson| last4 = Plotkin | first4 = G. | authorlink4 = Gordon Plotkin| title = A calculus for access control in distributed systems | doi = 10.1145/155183.155225 | journal = ACM Transactions on Programming Languages and Systems | volume = 15 | issue = 4 | pages = 706 | year = 1993 | hdl = 1842/207 | url = http://homepages.inf.ed.ac.uk/gdp/publications/Calculus_for_Access_Control.pdf| citeseerx = 10.1.1.72.3756 | s2cid = 13260508 }}</ref>

==Education==

Line 55:

Burrows was elected a Fellow of the [[Royal Society]] in 2013.<ref name=whoswho/> His nomination reads:

{{centred pull quote|text=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.<ref name=frs>{{cite web|title=Dr Michael Burrows FRS |archive-url=https://web.archive.org/web/20151123141155/https://royalsociety.org/people/michael-burrows-11174/ |archive-date=23 November 2015 |url=https://royalsociety.org/people/michael-burrows-11174/ |publisher=royalsociety.org |___location=London |author=Anon |year=2013 }} One or more of the preceding sentences incorporates text from the royalsociety.org website where: {{blockquote|"All text published under the heading 'Biography' on Fellow profile pages is available under [[Creative Commons license|Creative Commons Attribution 4.0 International License]]." --{{cite web|url=https://royalsociety.org/about-us/terms-conditions-policies/ |title=Royal Society Terms, conditions and policies |access-date=9 March 2016 |url-status=bot: unknownlive |archive-url=https://web.archive.org/web/20150925220834/https://royalsociety.org/about-us/terms-conditions-policies/ |archive-date=25 September 2015 }}}}</ref>}}

Burrows received the [[SIGOPS Mark Weiser Award]] in 2003.<ref name=sigops-mw>{{cite web|title=The Mark Weiser Award|url=https://www.sigops.org/awards/mw/|publisher=ACM SIGOPS|access-date=5 July 2019}}</ref>