Robin Milner

Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met procescalculi, in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus.

Leven

Robin Milner had één oudere zus.^[1] Op dertienjarige leeftijd kreeg hij een beurs voor Eton College. Tussen 1952 en 1954 vervulde hij zijn militaire dienstplicht. Daarna kreeg hij een beurs voor het King's College van de Universiteit van Cambridge, waar hij in 1957 afstudeerde. Hij werkte een paar jaar als leraar op een middelbare school en daarna als programmeur. Vanaf 1963 werkte hij als docent en later onderzoeker aan achtereenvolgens de City, University of London, Universiteit van Swansey en de Stanford-universiteit. In 1973 kreeg hij een vaste baan aan de Universiteit van Edinburgh. In 1995 keerde hij terug naar Cambridge.^[1]

Milner trouwde in 1963 en kreeg drie kinderen.^[1] Hij overleed op 20 maart 2010, drie dagen na de begrafenis van zijn vrouw.^[2]