Умер Робин Милнер

Ivan8209

apl13

Dasar

Робин Милнер (англ. Arthur John Robin Gorell Milner, 13 января 1934, Плимут (Англия — английский учёный в области теории вычислительных систем.
Милнер разработал систему ведения автоматических доказательств теорем LCF (Logic for Computable Functions). Для этой системы был создан функциональный язык программирования ML. Позже, Робин Милнер разработал исчисление взаимодействующих систем (CCS теоретическую основу для анализа взаимодействующих систем, а также его расширение — пи-исчисление. Милнер является обладателем девяти почётных докторских титулов от разных университетов.
В конце февраля 2009 года Милнер занимал 11 место в списке самых цитируемых авторов в проекте CiteSeer.[2]