Robin Milner's Work on Concurrency: An Appreciation

* He was made a Fellow of the Royal Society and a Distinguished Fellow of the British Computer Society in 1988.

* Milner received the ACM Turing Award in 1991.

* In 1994 he was inducted as a Fellow of the 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 π-calculus."

* The Royal Society Milner Award and the ACM SIGPLAN Robin Milner Young Researcher Award are both named after him.

He had four Doctoral Students.

His Doctoral Advisor?

  None, as Milner never did a PhD

~ https://en.wikipedia.org/wiki/Robin_Milner

No, you can't appreciate much his tremendous mathematical work on Process Algebras.

Thank you Robin, indeed.