13 декабря 1934 года родился ученый Робин Милнер Он является разработчиком языка программирования ML

Милнер, рожденный в семье военного, после окончания колледжа Итон поступил на службу в армию и получил звание второго лейтенанта. Дальше он продолжил обучение в Королевском колледже Кембриджа и устроился в школу учителем математики. Оставив работу в школе, Робин три года занимался программированием в компании Ferranti.

После Робин начал преподавать в Лондонском городском университете, а затем и в университетах Стэнфорда, Эдинбурга и Суонси. В Эдинбургском университете он стал одним из основателей лаборатории основ информатики – LFCS. В 1995 году Милнер вернулся в Кембриджский университет и возглавил факультет информатики, а спустя четыре года он ушел на пенсию.

Робин Милнер является разработчиком LCF – системы ведения интерактивных автоматических доказательств теорем. Он также создал функциональный язык программирования ML, который сейчас преподается во многих западных университетах. Позже он разработал исчисление взаимодействующих систем, теоретическую основу для анализа этих систем, а также пи-исчисление, которое часто применяется для математического описания бизнес-процессов.

Милнер является членом Лондонского королевского общества, Национальной инженерной академии США и Французской академии наук. Он также обладает девятью почетными докторскими титулами от разных университетов.