Category:Leslie Lamport
Jump to navigation
Jump to search
American computer scientist | |||
Upload media | |||
![]() ![]() | |||
Name in native language | Leslie Lamport | ||
---|---|---|---|
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"
This category contains only the following file.
- Leslie Lamport.jpg 393 × 500; 38 KB
Categories:
- 1941 births
- Lamport (surname)
- Leslie (given name)
- Laureates of Dijkstra Prize
- IEEE John von Neumann Medal recipients
- Laureates of the Turing Award
- Fellows of the Association for Computing Machinery
- Honorary doctorates
- Male computer scientists from the United States
- Male mathematicians from the United States
- Mathematicians by name
- 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