萊斯利·藍波特
個電腦科學家
萊斯利·藍波特(Leslie Lamport,1941年2月7號—)係美國一個電腦科學家。
萊斯利·藍波特 | |
---|---|
姓名原文 | Leslie Lamport |
出生日 | 1941年2月7號 (83歲) |
出生地 | 紐約 |
國籍 | 美國 |
母語 | 英文 |
識嘅語言 | 英文 |
學位 | Master of Science、哲學博士 |
母校 | 麻省理工學院、布蘭迪斯大學、The Bronx High School of Science |
職業 | 數學家、電腦科學家、編程員、工程師、作家 |
僱主 | MITRE Corporation、Digital Equipment Corporation、SRI International、微軟研究院 |
名作 | 分散運算、LaTeX、TLA+、temporal logic of actions、Paxos |
網站 | www |
[改維基數據] | |