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
p-Calculus.