Editing Robin Milner (section)

==Honours and awards==

He was made a Fellow of the [[Royal Society]] and a Distinguished Fellow of the [[British Computer Society]] in 1988. Milner received the [[Association for Computing Machinery|ACM]] [[Turing Award]] in 1991.  In 1994 he was inducted as a [[Fellow]] of the [[Association for Computing Machinery|ACM]].  In 2004, the [[Royal Society of Edinburgh]] awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale".  In 2008, he was elected a Foreign Associate of the [[National Academy of Engineering]] for "fundamental contributions to computer science, including the development of LCF, ML, CCS, and the {{pi}}-calculus."[http://www8.nationalacademies.org/onpinews/newsitem.aspx?RecordID=02082008]

The Royal Society [[Milner Award]]<ref>{{cite web |title=The Royal Society Milner Award and Lecture {{!}} Royal Society |url=https://royalsociety.org/grants-schemes-awards/awards/milner-award/ |website=The Royal Society |access-date=12 May 2021 |language=en-gb}}</ref>
and the [[Association for Computing Machinery|ACM]] [[SIGPLAN]] Robin Milner Young Researcher Award<ref>{{cite web|url=https://www.sigplan.org/Awards/Milner/|title=SIGPLAN Robin Milner Young Researcher Award|publisher=[[SIGPLAN]]|year=2012}}</ref> are both named after him.