Лампорта я знал давно, уже давно, но исключительно из-за его одноразовых
криптографических подписей. А вчера внезапно обнаружил что он ещё и чуть
ли не отец вообще всего что касается теории распределённых систем,
создатель логических часов, проблемы Византийских генералов, вносил свой
вклад в Paxos алгоритм. Дак ещё он же и создатель LaTeX. А, собственно,
его подписи особо сильно даже и не упоминаются как серьёзное достижение.