Leslie Lamport - CaLiGraph

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

About: clgr:Leslie_Lamport