Leslie Lamport

人物经历

Leslie Lamport

1963年获得布兰迪斯大学数学硕士学位。

1965-1969年任教于马尔波罗学院

1970-1972年，麻省计算机协会系统设计员。

1972年获得布兰迪斯大学数学博士学位。

1972-1977年，麻省计算机协会研究员。

1977-1985年，SRI 公司计算机科学实验室任究员。

人物荣誉

1982年与另两人共同发表论文“拜占廷将军问题”，既允许军中可能有叛徒，又要保证战争胜利，引申到计算机领域，成为一种容错理论。

1984年前后，使用 Knuth 教授发明的 plain TeX 排版软件撰写一些并行计算方面的论文，感到还是不太方便，于是编写了便于自己使用的宏包套件，并命名为 LaTeX。其主要改进是将版面设计与文稿内容分开处理，只要使用者选择了一种文件类别，LaTeX 自动将整本书或整篇文章的结构和标题就按照这种文件类别典型样式来设置，作者只要专注文章的内容就可以了。起初 LaTeX 在计算机科学家之间流传，大家觉得 LaTeX 比 plain TeX 使用更方便，就经常通过各种渠道向他索取。

1984年发表论文“分布系统中的时间、时钟和事件排序”。

1985-2001年，在数字设备公司以及康柏系统研究中心作研究工作。（1998年，康柏计算机公司收购了数字设备公司。2002年惠普公司完成收购康柏公司之后，数字设备公司的剩余部分并入了惠普公司。）

1985年，花两个月时间将 LaTeX 源代码整理出来，并编写出版了一本 LaTeX 使用手册《LaTeX: 一种文稿排版系统》，当时流行的 LaTeX 版本为2.09。

1989年8月21日，在斯坦福大学 TeX 用户组织会议上，同意将 LaTeX 的维护和开发工作交给 LaTeX3 小组。

1994 年，与 LaTeX3 小组对 LaTeX 作了一次重大改进，版本命名为 LaTeX2e，并出版 LaTeX 使用手册 第二版。

2001年进入位于加利福尼亚的微软研究院，任高级研究员，从事分布式计算机系统理论研究。

2003年获法国雷恩大学荣誉博士。

2003年7月10日，获德国基尔大学荣誉博士并作学术报告，体恤衫上印着：

“You want proof ? I'll give you proof !”

2004年，由于在计算机信息处理方面的突出贡献，获得皮奥尔奖。同年获瑞士洛桑联邦工业大学荣誉博士。

截至2006年，已发表论文160篇。

因为在分布式计算方面的杰出贡献，获得ACM颁发的2013年度图灵奖（在2014年宣布）。