Category:Leslie Lamport
Jump to navigation
Jump to search
American computer scientist  | |||||
| Upload media | |||||
| Name in native language |
| ||||
|---|---|---|---|---|---|
| Date of birth | 7 February 1941 New York City | ||||
| Country of citizenship | |||||
| Educated at |
| ||||
| Doctoral advisor | |||||
| Occupation | |||||
| Employer |
| ||||
| Member of |
| ||||
| Field of work | |||||
| Native language | |||||
| Notable work |
| ||||
| Award received |
| ||||
| official website | |||||
| |||||
 | |||||
Media in category "Leslie Lamport"
The following 2 files are in this category, out of 2 total.
-
Leslie Lamport September 2006.jpg 1,200 × 1,600; 603 KB
-
Leslie Lamport.jpg 393 × 500; 38 KB
Categories:
- Lamport (surname)
- Leslie (given name)
- 1941 births
- Laureates of Dijkstra Prize
- IEEE John von Neumann Medal recipients
- Laureates of the Turing Award
- Fellows of the Association for Computing Machinery
- Honorary doctors of Christian-Albrechts-Universität zu Kiel
- Male computer scientists from the United States
- Male mathematicians from the United States
- 20th-century mathematicians
- 21st-century mathematicians
- Members of the United States National Academy of Sciences
- Alumni of Brandeis University
- Formal methods people
- Alumni of the Massachusetts Institute of Technology
- Model checking (computer science)
- Births in New York City