Robin Milner#

Sadly, this member passed away.
Email:rm135 'at' cam.ac.uk
Membership Number:69
Membership type:
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:rmilner
Homepage:

Positions Held
  • Milner first worked as a schoolteacher, then as a programmer at Ferranti, before entering academia at City University, London
  • He then held positions at Swansea University and Stanford University
  • 1973 Professor at the University of Edinburgh
  • Co-founder of the Laboratory for Foundations of Computer Science (LFCS)
  • 1995 He returned to Cambridge as the head of the Computer Laboratory
  • 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-12) was last updated on Thursday, 19. February 2015, 09:31 by Kaiser Dana
  • operated by