レスリー・ランポートLeslie Lamport

レスリー・B・ランポート（Leslie B. Lamport、1941年2月7日 - ）は、アメリカ合衆国の計算機科学者である。
分散システムの先駆的な研究で知られる。
文書作成システムLaTeXの最初の開発者であり、その最初のマニュアルの著者でもある。
ランポートは、自律的に動作する複数のコンピュータがメッセージをやり取りして相互に通信を行う分散コンピューティングシステムの一見するとカオスな振る舞いに、明確でWell-definedな一貫性を課したことで、2013年のチューリング賞を受賞した。
彼は、実際の分散システムの品質を向上させるための重要なアルゴリズムを考案し、その形式モデルと検証プロトコルを開発した。
これらの貢献は、コンピュータシステムの正確性、性能、信頼性の向上につながっている。
若年期と教育= ブロンクス科学高校を卒業した。
マサチューセッツ工科大学で1960年に数学の学士号を、ブランダイス大学で1963年に数学の修士号、1972年に数学のPh.D.を取得した。
彼の博士論文は解析的偏微分方程式の特異点に関するものであった。
キャリアと研究= 1970年から1977年までマサチューセッツ・コンピュータ・アソシエイツ(COMPASS)、1977年から1985年までSRIインターナショナル、1985年から2001年までデジタル・イクイップメント・コーポレーション（DEC、1998年にコンパックにより吸収合併）に計算機科学者として在籍した。
2001年にカリフォルニア州マウンテンビューにあるマイクロソフトリサ ……