Лесли Лэмпорт

Лесли Лэмпорт (англ. Leslie Lamport; 7 февраля 1941 года, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры.

Лесли Лэмпорт

Разработчик LaTeX для системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах.
Работал над задачей византийских генералов и алгоритмом Паксос.

Лауреат премии Тьюринга 2013 года.
За фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем, отмеченный открытием таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые автоматы, последовательная согласованность данных.

Одно из важных достижений:
Разработал LaTeX — популярный набора макрорасширений системы компьютерной вёрстки TeX.