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''. Door Wikipedia aangeleverd