Leslie Lamport

专题收藏

• Turing Award laureates

年表

1. 20 – 23 岁 · 1961 – 1964 年 · MITRE Corporation
2. 35 – 43 岁 · 1976 – 1984 年 · SRI International
3. 38 岁 · 1979 年 · LaTeX
4. 38 岁 · 1979 年 · Constructing digital signatures from a one-way function
5. 58 岁 · 1999 年 · TLA+
6. 71 岁 · 2012 年 · Turing Award