VALÉORINE London

Leslie Lamport

Leslie Lamport (born 1941) is an American mathematician, computer scientist and programmer.

Also recorded as Leslie B. Lamport; Leslie Barry Lamport.

Overview

Born at New York City in 1941.

In detail

Leslie Lamport studied at Massachusetts Institute of Technology, Brandeis University and Bronx High School of Science. the recorded working language is English.

The field of work recorded is computer science and distributed computing.

Employment is recorded with MITRE Corporation, Digital Equipment Corporation and SRI International. Membership is recorded of National Academy of Sciences, American Academy of Arts and Sciences and Association for Computing Machinery.

Works named in the authority record are distributed computing, LaTeX, TLA+, temporal logic of actions and Paxos.

Distinctions recorded are Dijkstra Prize, IEEE John von Neumann Medal, Turing Award and IEEE Emanuel R. Piore Award.

Sources

Each source is named with the standing the house places on it, so the evidence can be weighed rather than taken on trust.

  • reference work · Reputable secondary · Wikipedia

    “Leslie Lamport”, English Wikipedia, consulted as further reading

    Consult the source

  • reference work · Reputable secondary · Wikidata

    Wikidata, structured authority record Q92613: Leslie Lamport

    Consult the source