Category:Leslie Lamport
Media in category "Leslie Lamport"
This category contains only the following file.
Leslie Lamport.jpg 393 × 500; 38 KB
Categories:
- Leslie (given name)
- Computer scientists from the United States
- Mathematicians from the United States
- 20th-century mathematicians
- 21st-century mathematicians
- Members of the United States National Academy of Sciences
- Alumni of Brandeis University
- 1941 births
- Lamport (surname)
- Formal methods people
- Turing Award laureates
- Alumni of the Massachusetts Institute of Technology
- Model checking (computer science)
