Michael Burrows (computer scientist): Difference between revisions

Content deleted Content added
rm hat per WP:NAMB
No edit summary
Line 38:
| spouse =
| children =
}}'''Michael Burrows''', [[Fellow of the Royal Society|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.<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==
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 (computer scientist)|David Wheeler]].<ref name="burrowsphd">{{cite thesis |degree=PhD |first=Michael|last=Burrows |title=Efficient Data Sharing |publisher=University of Cambridge |year=1988 |url=http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-153.pdf|authorlink=Michael Burrows (computer scientist)}}</ref><ref>{{Cite journal | last1 = Burrows | first1 = M. | last2 = Abadi | first2 = M. | last3 = Needham | first3 = R. M. | doi = 10.1098/rspa.1989.0125 | title = A Logic of Authentication | journal = Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | volume = 426 | issue = 1871 | pages = 233 | year = 1989 |bibcode = 1989RSPSA.426..233B | s2cid = 61768542 }}</ref><ref name=whoswho>{{Who's Who | title=BURROWS, Dr. Michael | id = U260924 | volume = 2017 | edition = online [[Oxford University Press]]|___location=Oxford}}</ref>
 
==Career==