Editing Butler Lampson (section)

===Honors and awards===
* In 1984, he was elected a member of the [[National Academy of Engineering]].
* In 1984, he won the ACM Software System Award for the [[Xerox Alto|Alto]], along with [[Robert Taylor (computer scientist)|Robert W. Taylor]], and [[Charles P. Thacker]].
* In 1986, he received an honorary Sc.D. from the Eidgenössische Technische Hochschule, Zürich.
* In 1992, he won the prestigious [[Association for Computing Machinery|ACM]] [[Turing Award]] for his contributions to personal computing and [[computer science]].<ref>{{cite web|last1=Levin|first1=Roy|title=Butler W Lampson - A.M. Turing Award Winner|url=http://amturing.acm.org/award_winners/lampson_1142421.cfm|publisher=Association for Computing Machinery|access-date=2 March 2016}}</ref>
* In 1993, he became a fellow of the American Academy of Arts and Sciences.
* In 1994, he was inducted as a [[Fellow]] of the [[Association for Computing Machinery|ACM]]. 
* In 1996, he received the [[IEEE Computer Pioneer Award]].
* In 1996, he received an honorary Sc.D. from the University of Bologna. 
* In 2001, he received the [[IEEE John von Neumann Medal]].<ref>{{cite web|title=IEEE John von Neumann Medal Recipients|url=http://www.ieee.org/about/awards/bios/vonneumann_recipients.html|archive-url=https://web.archive.org/web/20100408002231/http://www.ieee.org/about/awards/bios/vonneumann_recipients.html|url-status=dead|archive-date=April 8, 2010|publisher=Institute of Electrical and Electronics Engineers|access-date=2 March 2016}}</ref>
* In 2004, he won the [[Charles Stark Draper Prize]] along with [[Alan Kay|Alan C. Kay]], [[Robert Taylor (computer scientist)|Robert W. Taylor]], and [[Charles P. Thacker]] for their work on [[Xerox Alto|Alto]].<ref>{{cite web|title=2004 Winners: Alan C. Kay, Butler W. Lampson, Robert W. Taylor, and Charles P. Thacker|url=http://www.draperprize.org/2004.php|archive-url=https://web.archive.org/web/20091017013028/http://www.draperprize.org/2004.php|url-status=dead|archive-date=17 October 2009|publisher=National Academy of Engineering|access-date=2 March 2016}}</ref> 
* In 2005, he was elected a [[Member of the National Academy of Sciences]].<ref>{{Cite web|url=http://www.nasonline.org/member-directory/members/53513.html|title=Butler W. Lampson}}</ref> 
* In 2006, he was inducted as a Fellow of the [[Computer History Museum]] "for fundamental contributions to computer science, including networked personal workstations, operating systems, computer security and document publishing." [[Computer History Museum]] Fellow (2006).<ref name=hallbio>{{Cite web |url=http://www.computerhistory.org/fellowawards/hall/bios/Butler,Lampson/ |title=Butler Lampson 2006 Fellow |access-date=2015-01-05 |archive-url=https://web.archive.org/web/20150103005158/http://www.computerhistory.org/fellowawards/hall/bios/Butler,Lampson/ |archive-date=2015-01-03 |url-status=dead }}</ref>
* In 2006, he received the IFIP TC11 Kristian Beckman Award for information security.
* In 2016, he was inducted into the [[National Cyber Security Hall of Fame]].
* In 2018, he was elected as a [[Foreign Member of the Royal Society]].