Робин Милнер (13 января 1934 — 20 марта 2010) — английский учёный в области теории вычислительных систем.
Одно из важных достижений:
Автор функционального языка программирования ML.
Лауреат премии Тьюринга 1991 года.
За три различных полноценных достижения:
- LCF, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике;
- ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработки ошибок;
- CCS, общая теория параллельных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками.
Похожая информация: