Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Leslie_Lamport> ?p ?o }
- Leslie_Lamport abstract "Leslie B. Lamport (born February 7, 1941) is an American computer scientist. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems.".
- Leslie_Lamport almaMater Brandeis_University.
- Leslie_Lamport almaMater Massachusetts_Institute_of_Technology.
- Leslie_Lamport birthDate "1941-02-07".
- Leslie_Lamport birthPlace New_York.
- Leslie_Lamport birthPlace New_York_City.
- Leslie_Lamport doctoralAdvisor Richard_Palais.
- Leslie_Lamport field Computer_science.
- Leslie_Lamport knownFor Byzantine_fault_tolerance.
- Leslie_Lamport knownFor LaTeX.
- Leslie_Lamport knownFor Lamport_signature.
- Leslie_Lamport knownFor Lamports_bakery_algorithm.
- Leslie_Lamport knownFor Paxos_(computer_science).
- Leslie_Lamport knownFor Sequential_consistency.
- Leslie_Lamport thumbnail Leslie_Lamport.jpg?width=300.
- Leslie_Lamport wikiPageExternalLink 288284622.
- Leslie_Lamport wikiPageExternalLink www.lamport.org.
- Leslie_Lamport wikiPageID "195671".
- Leslie_Lamport wikiPageLength "13426".
- Leslie_Lamport wikiPageOutDegree "86".
- Leslie_Lamport wikiPageRevisionID "702700461".
- Leslie_Lamport wikiPageWikiLink Algorithm.
- Leslie_Lamport wikiPageWikiLink Association_for_Computing_Machinery.
- Leslie_Lamport wikiPageWikiLink Bachelors_degree.
- Leslie_Lamport wikiPageWikiLink Brandeis_University.
- Leslie_Lamport wikiPageWikiLink Byzantine_fault_tolerance.
- Leslie_Lamport wikiPageWikiLink Category:1941_births.
- Leslie_Lamport wikiPageWikiLink Category:20th-century_American_mathematicians.
- Leslie_Lamport wikiPageWikiLink Category:21st-century_American_mathematicians.
- Leslie_Lamport wikiPageWikiLink Category:American_computer_scientists.
- Leslie_Lamport wikiPageWikiLink Category:Brandeis_University_alumni.
- Leslie_Lamport wikiPageWikiLink Category:Computer_science_writers.
- Leslie_Lamport wikiPageWikiLink Category:Digital_Equipment_Corporation_people.
- Leslie_Lamport wikiPageWikiLink Category:Dijkstra_Prize_laureates.
- Leslie_Lamport wikiPageWikiLink Category:Formal_methods_people.
- Leslie_Lamport wikiPageWikiLink Category:Living_people.
- Leslie_Lamport wikiPageWikiLink Category:Massachusetts_Institute_of_Technology_alumni.
- Leslie_Lamport wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Leslie_Lamport wikiPageWikiLink Category:Microsoft_employees.
- Leslie_Lamport wikiPageWikiLink Category:Researchers_in_distributed_computing.
- Leslie_Lamport wikiPageWikiLink Category:SRI_International_people.
- Leslie_Lamport wikiPageWikiLink Category:The_Bronx_High_School_of_Science_alumni.
- Leslie_Lamport wikiPageWikiLink Category:Turing_Award_laureates.
- Leslie_Lamport wikiPageWikiLink Compaq.
- Leslie_Lamport wikiPageWikiLink Computer_science.
- Leslie_Lamport wikiPageWikiLink Consensus_(computer_science).
- Leslie_Lamport wikiPageWikiLink Digital_Equipment_Corporation.
- Leslie_Lamport wikiPageWikiLink Dijkstra_Prize.
- Leslie_Lamport wikiPageWikiLink Distributed_computing.
- Leslie_Lamport wikiPageWikiLink Doctor_of_Philosophy.
- Leslie_Lamport wikiPageWikiLink Happened-before.
- Leslie_Lamport wikiPageWikiLink IEEE_Emanuel_R._Piore_Award.
- Leslie_Lamport wikiPageWikiLink IEEE_John_von_Neumann_Medal.
- Leslie_Lamport wikiPageWikiLink LaTeX.
- Leslie_Lamport wikiPageWikiLink Lamport_signature.
- Leslie_Lamport wikiPageWikiLink Lamports_bakery_algorithm.
- Leslie_Lamport wikiPageWikiLink Logical_clock.
- Leslie_Lamport wikiPageWikiLink Massachusetts_Institute_of_Technology.
- Leslie_Lamport wikiPageWikiLink Masters_degree.
- Leslie_Lamport wikiPageWikiLink Mathematics.
- Leslie_Lamport wikiPageWikiLink Microsoft_Research.
- Leslie_Lamport wikiPageWikiLink Mountain_View,_California.
- Leslie_Lamport wikiPageWikiLink Mutual_exclusion.
- Leslie_Lamport wikiPageWikiLink Nancy-Université.
- Leslie_Lamport wikiPageWikiLink National_Academy_of_Sciences.
- Leslie_Lamport wikiPageWikiLink New_York.
- Leslie_Lamport wikiPageWikiLink New_York_City.
- Leslie_Lamport wikiPageWikiLink Partial_differential_equation.
- Leslie_Lamport wikiPageWikiLink Paxos_(computer_science).
- Leslie_Lamport wikiPageWikiLink Quixotism.
- Leslie_Lamport wikiPageWikiLink Richard_Palais.
- Leslie_Lamport wikiPageWikiLink SRI_International.
- Leslie_Lamport wikiPageWikiLink Sequential_consistency.
- Leslie_Lamport wikiPageWikiLink Snapshot_algorithm.
- Leslie_Lamport wikiPageWikiLink Symposium_on_Principles_of_Distributed_Computing.
- Leslie_Lamport wikiPageWikiLink TLA+.
- Leslie_Lamport wikiPageWikiLink Temporal_logic.
- Leslie_Lamport wikiPageWikiLink Temporal_logic_of_actions.
- Leslie_Lamport wikiPageWikiLink The_Bronx_High_School_of_Science.
- Leslie_Lamport wikiPageWikiLink Turing_Award.
- Leslie_Lamport wikiPageWikiLink United_States.
- Leslie_Lamport wikiPageWikiLink University_of_Kiel.
- Leslie_Lamport wikiPageWikiLink University_of_Lugano.
- Leslie_Lamport wikiPageWikiLink University_of_Rennes_1.
- Leslie_Lamport wikiPageWikiLink École_Polytechnique_Fédérale_de_Lausanne.
- Leslie_Lamport wikiPageWikiLinkText "L. Lamport".
- Leslie_Lamport wikiPageWikiLinkText "Lamport".
- Leslie_Lamport wikiPageWikiLinkText "Lamport's".
- Leslie_Lamport wikiPageWikiLinkText "Lamport, Leslie".
- Leslie_Lamport wikiPageWikiLinkText "Leslie Lamport".
- Leslie_Lamport almaMater Brandeis_University.
- Leslie_Lamport almaMater Massachusetts_Institute_of_Technology.
- Leslie_Lamport almaMater "*".
- Leslie_Lamport birthDate "1941-02-07".
- Leslie_Lamport birthPlace New_York.
- Leslie_Lamport birthPlace New_York_City.
- Leslie_Lamport doctoralAdvisor Richard_Palais.
- Leslie_Lamport field Computer_science.
- Leslie_Lamport knownFor Byzantine_fault_tolerance.
- Leslie_Lamport knownFor LaTeX.