Category:Leslie Lamport
US-amerikanischer Mathematiker, Informatiker und Programmierer  | |||||
| Medium hochladen | |||||
| Name in Muttersprache |
| ||||
|---|---|---|---|---|---|
| Geburtsdatum | 7. Februar 1941 New York City | ||||
| Land der Staatsangehörigkeit | |||||
| Besuchte Bildungseinrichtung |
| ||||
| Promotionsbetreuer | |||||
| Tätigkeit | |||||
| Arbeitgeber |
| ||||
| Mitglied von |
| ||||
| Arbeitsgebiet | |||||
| Muttersprache | |||||
| Bedeutendes Werk |
| ||||
| Auszeichnung |
| ||||
| offizielle Website | |||||
| |||||
 | |||||
Unterkategorien
Diese Kategorie enthält folgende Unterkategorie:
In Klammern die Anzahl der enthaltenen Kategorien (K), Seiten (S), Dateien (D)
L
Seiten in der Kategorie „Leslie Lamport“
Diese Kategorie enthält nur die folgende Seite.
Medien in der Kategorie „Leslie Lamport“
Folgende 2 Dateien sind in dieser Kategorie, von 2 insgesamt.
-
Leslie Lamport September 2006.jpg 1.200 × 1.600; 603 KB
-
Leslie Lamport.jpg 393 × 500; 38 KB
Kategorien:
- Lamport (surname)
- Leslie (given name)
- 1941 births
- Laureates of Dijkstra Prize
- IEEE John von Neumann Medal recipients
- Laureates of the Turing Award
- IEEE Emanuel R. Piore Award recipients
- 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