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