CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Leslie_Lamport
Property
Value
rdf:
type
SRI International person
American person of Belarusian-Jewish descent
Formal methods person
owl:
NamedIndividual
1941 birth
20th-century American engineer
20th-century American mathematician
21st-century American engineer
21st-century American mathematician
American Academy of Arts and Sciences members
American computer scientist
American person of Austrian-Jewish descent
American person of Polish-Jewish descent
Computer science writer
Fellow of the Association for Computing Machinery
Jewish American scientist
Living person
Massachusetts Institute of Technology alumni
Member of the National Academy of Engineering (Computer science)
Member of the National Academy of Sciences (computer and information sciences)
Member of the United States National Academy of Sciences
Microsoft employee
People by Erdős number
20th-century American scientist
21st-century American scientist
Brandeis University alumnus
Brandeis University person
Bronx High School of Science alumni
Digital Equipment Corporation person
Mathematician from New York (state)
Pioneer in computer science
Programmer
Programming language researcher
Researcher in distributed computing
rdfs:
label
Leslie Lamport
owl:
sameAs
dbr:
Leslie_Lamport
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Marlboro_College
http://en.wikipedia.org/wiki/Category:SRI_International_people
http://en.wikipedia.org/wiki/List_of_SRI_International_people
http://en.wikipedia.org/wiki/Digital_Equipment_Corporation
http://en.wikipedia.org/wiki/Lamport_(surname)
http://en.wikipedia.org/wiki/Category:1941_births
http://en.wikipedia.org/wiki/Category:20th-century_American_engineers
http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians
http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians
http://en.wikipedia.org/wiki/Category:American_computer_scientists
http://en.wikipedia.org/wiki/Category:American_people_of_Austrian-Jewish_descent
http://en.wikipedia.org/wiki/Category:American_people_of_Polish-Jewish_descent
http://en.wikipedia.org/wiki/Category:Computer_science_writers
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Sciences
http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(2006%E2%80%932019)
http://en.wikipedia.org/wiki/List_of_Massachusetts_Institute_of_Technology_alumni
http://en.wikipedia.org/wiki/List_of_computer_scientists
http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number
http://en.wikipedia.org/wiki/Turing_Award
http://en.wikipedia.org/wiki/Category:American_people_of_Belarusian-Jewish_descent
http://en.wikipedia.org/wiki/Category:Formal_methods_people
http://en.wikipedia.org/wiki/Category:Jewish_American_scientists
http://en.wikipedia.org/wiki/Category:21st-century_American_engineers
http://en.wikipedia.org/wiki/Category:Microsoft_employees
http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Engineering_(Computer_science)
http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Sciences_(computer_and_information_sciences)
http://en.wikipedia.org/wiki/ACM_SIGOPS
http://en.wikipedia.org/wiki/Category:20th-century_American_scientists
http://en.wikipedia.org/wiki/Category:21st-century_American_scientists
http://en.wikipedia.org/wiki/Category:Mathematicians_from_New_York_(state)
http://en.wikipedia.org/wiki/Category:Researchers_in_distributed_computing
http://en.wikipedia.org/wiki/List_of_Brandeis_University_people
http://en.wikipedia.org/wiki/List_of_Bronx_High_School_of_Science_alumni
http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science
http://en.wikipedia.org/wiki/List_of_programmers
http://en.wikipedia.org/wiki/List_of_programming_language_researchers
http://en.wikipedia.org/wiki/Category:Brandeis_University_alumni
http://en.wikipedia.org/wiki/Category:Digital_Equipment_Corporation_people
http://en.wikipedia.org/wiki/Leslie_(name)
skos:
prefLabel
Leslie Lamport
skos:
altLabel
Lamport
L. Lamport
Lamport's
Lamport, Leslie
Leslie B. Lamport
clgo:
academicDiscipline
Computer science
clgo:
almaMater
Massachusetts Institute of Technology
Brandeis University
clgo:
award
Member of the National Academy of Sciences
ACM Fellow
Dijkstra Prize
IEEE John von Neumann Medal
IEEE Emanuel R. Piore Award
Turing Award
clgo:
birthDate
1941-02-07
clgo:
birthName
Leslie B. Lamport
clgo:
birthPlace
New York City
New York (state)
clgo:
birthYear
1941
clgo:
doctoralAdvisor
Richard Palais
clgo:
knownFor
TLA+
Byzantine fault
LaTeX
Lamport signature
Sequential consistency
Temporal logic of actions
Paxos (computer science)
Lamport's bakery algorithm
Hash chain
is
clgo:
author
of
LaTeX
BibTeX
is
clgo:
designer
of
TLA+
is
clgo:
influenced
of
Edsger W. Dijkstra