レスリー・ランポート
ウィキペディア フリーな encyclopedia
レスリー・B・ランポート(Leslie B. Lamport、1941年2月7日 - )は、アメリカ合衆国の計算機科学者である。
概要 レスリー・ランポートLeslie Lamport, 生誕 ...
レスリー・ランポート Leslie Lamport | |
---|---|
生誕 |
Leslie B. Lamport (1941-02-07) 1941年2月7日(83歳) アメリカ合衆国 ニューヨーク州ニューヨーク |
研究分野 | 計算機科学 |
研究機関 | |
出身校 |
|
論文 | The analytic Cauchy problem with singular data (1972) |
博士課程 指導教員 | リチャード・パレイ(英語版)[1] |
主な業績 |
|
主な受賞歴 | |
公式サイト lamport | |
プロジェクト:人物伝 | |
テンプレートを表示 |
閉じる
分散システムの先駆的な研究で知られる。文書作成システムLaTeXの最初の開発者であり、その最初のマニュアルの著者でもある[2][3]。ランポートは、自律的に動作する複数のコンピュータがメッセージをやり取りして相互に通信を行う分散コンピューティングシステムの一見するとカオスな振る舞いに、明確でWell-definedな一貫性を課したことで、2013年のチューリング賞を受賞した[4]。彼は、実際の分散システムの品質を向上させるための重要なアルゴリズムを考案し、その形式モデルと検証プロトコルを開発した。これらの貢献は、コンピュータシステムの正確性、性能、信頼性の向上につながっている[5][6][7][8][9]。