レスリー・ランポート

ランポートの研究貢献は、分散システム理論の基礎を築いた。彼の最も注目すべき論文には、

• 「分散システムにおける時間、クロック、およびイベントの順序付け」^{[ 5 ]}は、 2000年に分散コンピューティングの原理（PODC）影響力のある論文賞を受賞しました^{[ 12 ]。}
• 「マルチプロセスプログラムを正しく実行するマルチプロセッサコンピュータの作り方」^{[ 13 ]}では、逐次一貫性の概念が定義されました。
• 「ビザンツ将軍の問題」^{[ 14 ]}
• 「分散スナップショット：分散システムのグローバル状態の決定」^{[ 15 ]}および
• 「非常勤議会」^{[ 16 ]}

これらの論文は、論理クロック（および発生前関係）やビザンチン障害といった概念に関連しています。これらはコンピュータサイエンス分野で最も引用されている論文の一つであり、^{[ 17 ]}分散システムにおける多くの基本的な問題を解決するためのアルゴリズムを記述しています。

• 合意形成のためのPaxosアルゴリズム、
• コンピュータシステム内で同時に同じリソースを必要とする複数のスレッドの相互排他のためのベーカリーアルゴリズム、
• 一貫性のあるグローバル状態（スナップショット）を決定するためのChandy –Lamportアルゴリズム、および
• ランポート署名は、デジタル署名のプロトタイプの1つである。

ドナルド・クヌースが1980年代初頭にTeXの初期リリースを発表し始めたとき、ランポートは個人的に本を書く必要性から、それを基にしたマクロセットの開発にも着手し、それが後に標準マクロパッケージになることを期待していた。このマクロセットは後にLaTeXとして知られるようになり、その後1983年にアディソン・ウェスリーの編集者であるピーター・ゴードンがランポートにユーザーマニュアルを本にするよう提案した。^{[ 18 ] [ 19 ]}

1984 年 9 月に、ランポートは LaTeX マクロのバージョン 2.06a をリリースし、1985 年 8 月に LaTeX 2.09 (ランポートの LaTeX の最終バージョン) もリリースされました。一方、Addison-Wesley は 1986 年にランポート初の LaTeX ユーザー マニュアルであるLaTeX: A Document Preparation Systemをリリースし、伝えられるところによると「数十万部以上」売れたそうです。そして 1989 年 8 月 21 日、スタンフォード大学での TeX ユーザー グループ会議で、ランポートは LaTeX の保守と開発を Frank Mittelbach に引き継ぐことに同意しました。Mittelbach は Chris Rowley と Rainer Schöpf と共に LaTeX3 チームを結成し、その後 1994 年に現在の LaTeX のバージョンである LaTeX 2e をリリースしました。^{[ 19 ] [ 20 ]}

ランポートは、時相論理に関する研究でも知られており、そこで彼はアクションの時間論理（TLA）を導入した。^{[ 21 ] [ 22 ]}彼の最近の貢献の中には、並行システムやリアクティブシステムの仕様記述と推論のための言語であるTLA ⁺があり、彼は著書『Specifying Systems: The TLA ⁺ Language and Tools for Hardware and Software Engineers』でそれを説明している。^{[ 23 ]}彼はTLA+を「エンジニアの数学に対する反感を克服するためのドン・キホーテ的な試み」と定義している。^{[ 24 ]}