Robin Milner#


Robin Milner
Sadly, this member passed away.
Membership Number:69
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Elected:1988




Robin Milner passed away March 20, 2010.

Positions Held
  • 2009 Scottish Informatics & Computer Science Alliance Advanced Research Fellow and (part-time) Chair of Computer Science at the University of Edinburgh
  • 1995 Head of the Computer Laboratory, University of Cambridge
  • 2009 SICSA Advanced Research Fellow and part-time Chair of Computer Science at the University of Edinburgh

Fields of Scholarship
  • Programming languages
  • Program verification
  • Logic for computable functions
  • Metalanguages for proof tactics
  • Calculus of communicating systems

Honours and Awards
  • 1988 Fellow of the Royal Society
  • 1988 Member of Academia Europaea
  • 1991 ACM Turing Award
  • 1994 Fellow of the ACM
  • 2004 Royal Medal of the Royal Society of Edinburgh


Imprint Privacy policy « This page (revision-14) was last changed on Thursday, 2. July 2020, 17:25 by Kaiser Dana
  • operated by