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 Awardand the ACM SIGPLAN Robin Milner Young Researcher Award are both named after him.

Selected publications

1.Previous
3.Next