Leslie Lamport

Person information

  • affiliation: Microsoft Research, Mountain View
  • award (2013): Turing Award
  • award (2008): IEEE John von Neumann Medal
  • award (2004): IEEE Emanuel R. Piore Award
  • award (2000, 2005, 2014): Dijkstra Prize

Refine list

showing all ?? records

Books and Theses

Journal Articles

Conference and Workshop Papers

Parts in Books or Collections

Editorship

Informal and Other Publications

Coauthor Index

a service of  Schloss Dagstuhl - Leibniz Center for Informatics