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]

Wetenschappelijke prestaties

Milner is vooral bekend van drie belangrijke wetenschappelijke bijdragen:

• Hij ontwikkelde de stellingbewijzer LCF. Om bewijstactieken te programmeren, ontwierp hij de programmeertaal ML. ML is een directe voorloper van de programmeertaal OCaml, en introduceerde een statisch typesysteem dat een grote invloed op verschillende functionele programmeertalen heeft gehad, waaronder Haskell.
• Hij hield zich bezig met procescalculi, in het bijzonder de door hem ontworpen Calculus of Concurrent Systems en diens opvolger, de π-Calculus. Deze calculi worden gebruikt om concurrente (tegelijkertijd lopende) processen te beschrijven en te analyseren.
• In de laatste jaren van zijn leven ontwikkelde en analyseerde hij zogenaamde bigrafen, een algemeen berekeningsformalisme.

In 1991 ontving Milner de Turing Award, de belangrijkste prijs op het gebied van de informatica.