@prefix rdf: . @prefix dbpedia: . @prefix ns2: . dbpedia:Leslie_Lamport rdf:type ns2:LivingPeople , ns2:AmericanMathematicians , ns2:AmericanComputerScientists . @prefix dbpedia-owl: . dbpedia:Leslie_Lamport rdf:type dbpedia-owl:Scientist . @prefix foaf: . dbpedia:Leslie_Lamport rdf:type foaf:Person , ns2:BrandeisUniversityAlumni , ns2:FormalMethodsPeople , dbpedia-owl:Person , ns2:MicrosoftEmployees . @prefix owl: . dbpedia:Leslie_Lamport rdf:type owl:Thing . @prefix dbpprop: . dbpedia:Leslie_Lamport dbpprop:name "Leslie Lamport"@en , "Lamport, Leslie"@en . @prefix xsd: . @prefix ns8: . dbpedia:Leslie_Lamport ns8:birthDate "1941-02-07"^^xsd:date ; ns8:birthPlace dbpedia:New_York_City , dbpedia:New_York ; ns8:almaMater dbpedia:Brandeis_University . @prefix ns9: . dbpedia:Leslie_Lamport owl:sameAs ns9:Leslie_Lamport , , ; foaf:name "Leslie Lamport" , "Leslie Lamport"@de ; foaf:surname "Lamport"@de . @prefix ns10: . dbpedia:Leslie_Lamport foaf:page ns10:Leslie_Lamport ; dbpedia-owl:knownFor dbpedia:LaTeX , dbpedia:Byzantine_fault_tolerance , dbpedia:Paxos_algorithm ; ns8:knownFor dbpedia:LaTeX , dbpedia:Byzantine_fault_tolerance , dbpedia:Paxos_algorithm ; dbpprop:reference . @prefix rdfs: . dbpedia:Leslie_Lamport rdfs:label "Leslie Lamport"@ca , "\u30EC\u30B9\u30EA\u30FC\u30FB\u30E9\u30F3\u30DD\u30FC\u30C8"@ja , "Leslie Lamport"@es , "Leslie Lamport"@pl , "Leslie Lamport"@pt , "Leslie Lamport"@ro , "Leslie Lamport"@sv , "Leslie Lamport"@en , "Leslie Lamport"@fr , "Leslie Lamport"@nl , "Leslie Lamport"@it , "Leslie Lamport"@de ; dbpedia-owl:thumbnail ; dbpedia-owl:birthDate "1941-02-07"^^xsd:date ; dbpedia-owl:birthPlace dbpedia:New_York , dbpedia:New_York_City ; dbpedia-owl:almaMater dbpedia:Brandeis_University ; dbpprop:abstract "Leslie Lamport \u00E9s un inform\u00E0tic i matem\u00E0tic estatunidenc. \u00C9s especialment conegut per haver creat el sistema LaTeX. Lamport estudi\u00E0 matem\u00E0tiques al MIT i a la universitat de Brandeis. Dins del camp de la inform\u00E0tica \u00E9s reconegut pel seu treball en algor\u00EDtmica distribu\u00EFda i en l\u00F2gica temporal, on introdu\u00ED la L\u00F2gica d'Accions Temporal (Temporal Logic of Actions, TLA). Tamb\u00E9 formul\u00E0 la relaci\u00F3 \"ha passat abans\" (happened before), important en rellotges l\u00F2gics en sistemes distribu\u00EFts, ja que permet obtenir una ordenaci\u00F3 parcial. Actualment (2005) treballa per als centres de recerca de Microsoft."@ca , "Dr. Leslie Lamport is een Amerikaanse computerwetenschapper. Lamport ontving een B.S. in de wiskunde aan het Massachusetts Institute of Technology in 1960. Hij behaalde ook een M.A. en een Ph.D. in 1963 en 1972, beide in de wiskunde. Als computerwetenschapper is Dr. Lamport onder andere bekend om zijn werk aan de Temporal Logic of Actions of TLA wat resulteerde in het algoritme van Lamport, een algoritme dat de relatie beschrijft tussen gebeurtenissen in een gedistribueerd systeem met behulp van een logische klok. Buiten zijn werk aan dit algoritme is Dr. Lamport het best bekend als initieel ontwerper van LaTeX. Momenteel werkt hij voor Microsoft."@nl , ", conosciuto ai pi\u00F9 come l'ideatore di LaTeX, un insieme di macro per il programma TeX."@it , "PhD. Leslie Lamport es un ingeniero inform\u00E1tico estadounidense. Es especialmente conocido por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. Leslie Lamport se licenci\u00F3 en matem\u00E1ticas en 1960 en el MIT (Massachusetts Institute of Technology). Tambi\u00E9n curs\u00F3 un m\u00E1ster y un doctorado en la Universidad de Brandeis, ambos en matem\u00E1ticas. En el campo de la inform\u00E1tica, Lamport es reconocido por su trabajo en algor\u00EDtmica distribuida y en l\u00F3gica temporal, en la cual introdujo la l\u00F3gica de acciones temporal (Temporal Logic of Actions, TLA). Formul\u00F3 la relaci\u00F3n \"ocurrido antes\" (happened before), importante en relojes l\u00F3gicos de sistemas distribuidos, ya que permite obtener una ordenaci\u00F3n parcial. Tambi\u00E9n introdujo el algoritmo de la panader\u00EDa de Lamport para exclusi\u00F3n mutua de m\u00FAltiples hilos en un computador que requieren los mismos recursos al mismo tiempo. En la actualidad, trabaja para Microsoft Research."@es , "Leslie Lamport, f\u00F6dd 1941, datavetare, matematiker. V\u00E4lk\u00E4nd f\u00F6r sin forskning inom distribuerade system och realtidssystem (bl.a. p\u00E5 grund av sin artikel Time, Clocks, and the Ordering of Events in a Distributed System fr\u00E5n 1978). Han \u00E4r ocks\u00E5 upphovsman till den v\u00E4lk\u00E4nda TeX-ut\u00F6kningen LaTeX (f\u00F6rstavelsen La \u00E4r allts\u00E5 inte bara en referens till en viss gummiprodukt). Han sj\u00E4lv tror dock att det han kommer att bli ih\u00E5gkommen f\u00F6r om hundra \u00E5r \u00E4r hans f\u00F6rslag till ett nytt s\u00E4tt att skriva matematiska bevis. Han menar att det nuvarande s\u00E4ttet knappt har \u00E4ndrats p\u00E5 300 \u00E5r och varken \u00E4r l\u00E4ttl\u00E4st eller strukturerat. Tog 1960 en bachelorexamen i matematik fr\u00E5n Massachusetts Institute of Technology och fortsatte sedan p\u00E5 Brandeis University d\u00E4r han 1972 doktorerade i samma \u00E4mne. Sedan dess har han jobbat p\u00E5 Massachusetts Computer Associates, SRI International, Digital Equipment Corporation Systems Research Center i Palo Alto. Sedan 2001 jobbar Lamport p\u00E5 Microsoft Research i Kalifornien."@sv , "Leslie Lamport ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1963 erlangte er an der Brandeis University zun\u00E4chst den MA-Abschluss (Master of Arts) und erhielt 1972 f\u00FCr eine Arbeit in Mathematik den Doktortitel (Ph.D.). In der Informatik ist Lamport sehr bekannt: Einerseits als Entwickler von LaTeX, andererseits weil er sich um die Theoretische Informatik verdient gemacht hat. Er hat auf diesem Gebiet in vielen Bereichen geforscht. Davon seien hier einige aufgez\u00E4hlt: In der Formalen Semantik besch\u00E4ftigte er sich mit Korrektheitsbeweisen f\u00FCr Parallele Algorithmen. Der Bereich Verteilte Systeme, wo er sich vor allem mit der Prozesssynchronisation besch\u00E4ftigt hat. Die Temporale Logik, wo er die Temporale Logik der Aktionen (TLA) einf\u00FChrte. Lamport arbeitet seit 2001 f\u00FCr Microsoft Research."@de , "Leslie Lamport \u00E9 um cientista da computa\u00E7\u00E3o norte-americano. Lamport formou-se em Matem\u00E1tica pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em Matem\u00E1tica pela Brandeis University, conclu\u00EDdos respectivamente em 1963 e 1972. O tema de sua tese de doutorado foram singularidades em equa\u00E7oes diferenciais parciais anal\u00EDticas. Ap\u00F3s a gradua\u00E7\u00E3o, ele come\u00E7ou sua carreira como cientista computacional no Massachusetts Computer Associates, SRI International, Digital, e Compaq. Em 2001, ele se juntou \u00E0 Microsoft Research em Mountain View, na California. Suas pesquisas contribuiram com a funda\u00E7\u00E3o da teoria de sistemas distribu\u00EDdos. Alguns dos seus mais not\u00E1veis papers nesta \u00E1rea s\u00E3o os seguintes: \"Time, Clocks, and the Ordering of Events in a Distributed System\" \"Distributed snapshots: determining global states of distributed systems\" \"The Byzantine Generals Problem\" \"The Part-time Parliament\" Esses artigos introduziram novos conceitos na ci\u00EAncia computacional, tais como rel\u00F3gios l\u00F3gicos e a rela\u00E7\u00E3o antes-depois, bem como as falhas Bizantinas. Estes s\u00E3o alguns dos artigos mais citados no campo de sistemas distribu\u00EDdos, e descrevem algoritmos para a resolu\u00E7\u00E3o de muitos problemas fundamentais em sistemas distribu\u00EDdos, incluindo: O algoritmo de Paxos para consenso the Paxos O algoritmo da padaria para exclus\u00E3o m\u00FAtua de m\u00FAltiplos threads em um sistema de computadores que requerem as mesmas fontes ao mesmo tempo. O algoritmo Snapshot para determina\u00E7\u00E3o dos estados globais consistentes. Dr. Lamport recebeu quatro t\u00EDtulos do Doutor 'Honoris Causa' por universidades europ\u00E9ias: Universidade de Rennes e Universidade Christian Albrechts de Kiel em 2003, EPFL em 2004, University of Lugano em 2006. Em 2004 ele tamb\u00E9m recebeu o IEEE Piore Award por causa de suas expressivas contribui\u00E7\u00F5es no campo do processamento de informa\u00E7\u00E3o, em rela\u00E7\u00E3o \u00E0 ci\u00EAncia computacional, contribu\u00EDdo significativamente ao avan\u00E7o e ao melhoramento da sociedade. Fora da ci\u00EAncia computacional, o Dr. Lamport \u00E9 melhor conhecido como sendo o desenvolvedor inicial do sistema de prepara\u00E7\u00E3o de documentos, o LaTeX. Home page de Leslie Lamport"@pt , "Dr. Leslie Lamport este un informatician american, matematician \u015Fi programator renumit. A lucrat ca informatician la Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, \u015Fi Compaq. \u00CEn 2001 s-a al\u0103turat echipei de informaticieni de la Microsoft Research din Mountain View \u00EEn California. Ca cercet\u0103tor, Lamport a contribuit la dezvoltarea teoriei sitemelor distribuite. Lucr\u0103rile sale cele mai reprezentative \u00EEn acest domeniu sunt: \"Time, Clocks, and the Ordering of Events in a Distributed System\" \"Distributed snapshots: determining global states of distributed systems\" \"The Byzantine Generals Problem\" \"The Part-time Parliament\" Dr. Lamport a primit 4 distinc\u0163ii Doctor honoris causa de la universit\u0103\u0163ile europene: Universitatea din Rennes \u015Fi Universitatea din Kiel \u00EEn 2003, EPFL \u00EEn 2004, Universitatea din Lugano \u00EEn 2006. \u00CEn 2004 a primit Premiul IEEE Piore pentru contribu\u0163iile sale aduse doemniului proces\u0103rii informa\u0163iilor, \u00EEn rela\u0163ie cu informatica. Leslie Lamport a devenit faimos \u015Fi este cunoscut \u015Fi datorit\u0103 faptului c\u0103 este dezvoltatorul ini\u0163ial al al sistemului de preparare a documentului LaTeX."@ro , "Leslie Lamport est un chercheur en informatique am\u00E9ricain, sp\u00E9cialiste de l'algorithmique r\u00E9partie. Il est n\u00E9 en 1941 \u00E0 New York et a fait des \u00E9tudes en math\u00E9matiques au Massachusetts Institute of Technology (MIT) puis \u00E0 l'universit\u00E9 de Brandeis. Il a notamment formul\u00E9 en 1979 la relation \u00AB arriv\u00E9-avant \u00BB (en anglais \u00AB happened before \u00BB), qui permet d'obtenir un ordre partiel sur les actions dans des syst\u00E8mes r\u00E9partis. Lamport a \u00E9galement invent\u00E9 le syst\u00E8me d'horloges qui porte son nom. Elles sont utilis\u00E9es dans le cadre de la synchronisation des syst\u00E8mes distribu\u00E9s. Il a \u00E9galement travaill\u00E9 sur certains aspects cryptographiques comme les mots de passe \u00E0 usage unique et d'autres probl\u00E8mes li\u00E9s au consensus et \u00E0 la concurrence dans les r\u00E9seaux. Cependant, Leslie Lamport est principalement connu hors de la communaut\u00E9 scientifique de l'informatique comme le cr\u00E9ateur de LaTeX, un syst\u00E8me de mise en page de documents notamment utilis\u00E9 par les scientifiques de nombreuses disciplines pour des documents comportant de nombreuses formules math\u00E9matiques. Depuis, le d\u00E9veloppement de LaTeX est assur\u00E9 par d'autres. Il travaille actuellement pour les centres de recherche de Microsoft."@fr , "Leslie Lamport is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972. His dissertation was about singularities in analytic partial differential equations. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX. Professionally, Lamport worked as a computer scientist at Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, and Compaq. In 2001 he joined Microsoft Research at Mountain View, California. Lamport\u2019s research contributions have laid the foundations of the theory of distributed systems. Among his most notable papers are \u201CTime, Clocks, and the Ordering of Events in a Distributed System\u201D, which received the PODC Influential Paper Award in 2000, \u201CThe Byzantine Generals Problem\u201D, \u201CDistributed Snapshots: Determining Global States of a Distributed System\u201D and \u201CThe Part-Time Parliament\u201D. These papers relate to such concepts as logical clocks (and the happened-before relationship) and Byzantine failures. They are among the most cited papers in the field of computer science and describe algorithms to solve many fundamental problems in distributed systems, including: the Paxos algorithm for consensus, the bakery algorithm for mutual exclusion of multiple threads in a computer system that require the same resources at the same time and the snapshot algorithm for the determination of consistent global states. Lamport is also known for his work on temporal logic, where he introduced the temporal logic of actions (TLA). Among his more recent contributions is TLA, a logic for specifying and reasoning about concurrent and reactive systems, that he describes in the book \u201CSpecifying Systems: The TLA Language and Tools for Hardware and Software Engineers\u201D and defines as a \u201Cquixotic attempt to overcome engineers' antipathy towards mathematics\u201D. Lamport received four honorary doctorates from European universities: University of Rennes and Christian Albrechts University of Kiel in 2003, EPFL in 2004 and University of Lugano in 2006. In 2004, he received the IEEE Piore Award. In 2005, the paper \u201CReaching Agreement in the Presence of Faults\u201D received the Dijkstra Prize. In honor of Lamport's sixtieth birthday, a lecture series was organised at the 20th Symposium on Principles of Distributed Computing (PODC 2001). Lamport is the author of the aphorism:"@en , "\u30EC\u30B9\u30EA\u30FC\u30FB\u30E9\u30F3\u30DD\u30FC\u30C8\uFF08Leslie Lamport\u30011941\u5E74 -\uFF09\u306F\u3001\u6570\u5B66\u8005\u3067\u3042\u308A\u3001\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u79D1\u5B66\u8005\u3067\u3042\u308B\u3002\u535A\u58EB\u3002 TeX\u306E\u4E0A\u306B\u30DE\u30AF\u30ED\u30D1\u30C3\u30B1\u30FC\u30B8\u3092\u7D44\u307F\u8FBC\u3093\u3067\u69CB\u7BC9\u3057\u305F\u7D44\u7248\u51E6\u7406\u30B7\u30B9\u30C6\u30E0\u3067\u3042\u308BLaTeX\u306E\u958B\u767A\u8005\u3068\u3057\u3066\u6709\u540D\u3067\u3042\u308B\u3002 \u307E\u305F\u3001\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u79D1\u5B66\u3067\u306F\u3001\u6642\u76F8\u8AD6\u7406\u30FB\u30D5\u30A9\u30FC\u30EB\u30C8\u30C8\u30EC\u30E9\u30F3\u30B9\u30FB\u5206\u6563\u30B3\u30F3\u30D4\u30E5\u30FC\u30C6\u30A3\u30F3\u30B0\u306E\u7814\u7A76\u8005\u3068\u3057\u3066\u6709\u540D\u3067\u3042\u308B\u3002 \u30DE\u30B5\u30C1\u30E5\u30FC\u30BB\u30C3\u30C4\u5DE5\u79D1\u5927\u5B66\u306B\u30661960\u5E74\u306B\u5B66\u58EB\u53F7\u3001\u30D6\u30E9\u30F3\u30C0\u30A4\u30B9\u5927\u5B66\u306B\u30661963\u5E74\u306B\u4FEE\u58EB\u53F7\u30011972\u5E74\u306B\u535A\u58EB\u53F7\u3092\u6388\u4E0E\u3055\u308C\u3066\u3044\u308B\u3002 \u73FE\u5728\u306F\u3001\u30DE\u30A4\u30AF\u30ED\u30BD\u30D5\u30C8\u793E\u306E\u57FA\u790E\u7814\u7A76\u6240\u3067\u3042\u308BMicrosoft Research\u3067\u7814\u7A76\u3092\u884C\u3063\u3066\u3044\u308B\u3002"@ja , "Leslie Lamport - ameryka\u0144ski informatyk. Kariera naukowa: 1960 - B.S. (Bachelor's degree) z matematyki na Massachusetts Institute of Technology 1963 - M.A. (Master's degree) r\u00F3wnie\u017C z matematyki na Brandeis University 1972 - Ph.D. (Doctor of Philosophy) W informatyce jest najbardziej znany z prac nad logik\u0105 temporaln\u0105. Ponadto jest znany jako tw\u00F3rca i propagator systemu sk\u0142adu tekstu LaTeX. Obecnie pracuje dla Microsoft Research."@pl ; rdfs:comment "Leslie Lamport, f\u00F6dd 1941, datavetare, matematiker. V\u00E4lk\u00E4nd f\u00F6r sin forskning inom distribuerade system och realtidssystem (bl.a. p\u00E5 grund av sin artikel Time, Clocks, and the Ordering of Events in a Distributed System fr\u00E5n 1978). Han \u00E4r ocks\u00E5 upphovsman till den v\u00E4lk\u00E4nda TeX-ut\u00F6kningen LaTeX (f\u00F6rstavelsen La \u00E4r allts\u00E5 inte bara en referens till en viss gummiprodukt)."@sv , "Leslie Lamport - ameryka\u0144ski informatyk. Kariera naukowa: 1960 - B.S. (Bachelor's degree) z matematyki na Massachusetts Institute of Technology 1963 - M.A. (Master's degree) r\u00F3wnie\u017C z matematyki na Brandeis University 1972 - Ph.D. (Doctor of Philosophy) W informatyce jest najbardziej znany z prac nad logik\u0105 temporaln\u0105. Ponadto jest znany jako tw\u00F3rca i propagator systemu sk\u0142adu tekstu LaTeX. Obecnie pracuje dla Microsoft Research."@pl , "Leslie Lamport ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1963 erlangte er an der Brandeis University zun\u00E4chst den MA-Abschluss (Master of Arts) und erhielt 1972 f\u00FCr eine Arbeit in Mathematik den Doktortitel (Ph.D.)."@de , "Leslie Lamport \u00E9s un inform\u00E0tic i matem\u00E0tic estatunidenc. \u00C9s especialment conegut per haver creat el sistema LaTeX. Lamport estudi\u00E0 matem\u00E0tiques al MIT i a la universitat de Brandeis. Dins del camp de la inform\u00E0tica \u00E9s reconegut pel seu treball en algor\u00EDtmica distribu\u00EFda i en l\u00F2gica temporal, on introdu\u00ED la L\u00F2gica d'Accions Temporal (Temporal Logic of Actions, TLA)."@ca , ", conosciuto ai pi\u00F9 come l'ideatore di LaTeX, un insieme di macro per il programma TeX."@it , "Dr. Leslie Lamport este un informatician american, matematician \u015Fi programator renumit. A lucrat ca informatician la Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, \u015Fi Compaq. \u00CEn 2001 s-a al\u0103turat echipei de informaticieni de la Microsoft Research din Mountain View \u00EEn California. Ca cercet\u0103tor, Lamport a contribuit la dezvoltarea teoriei sitemelor distribuite."@ro , "PhD. Leslie Lamport es un ingeniero inform\u00E1tico estadounidense. Es especialmente conocido por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. Leslie Lamport se licenci\u00F3 en matem\u00E1ticas en 1960 en el MIT (Massachusetts Institute of Technology). Tambi\u00E9n curs\u00F3 un m\u00E1ster y un doctorado en la Universidad de Brandeis, ambos en matem\u00E1ticas."@es , "Leslie Lamport \u00E9 um cientista da computa\u00E7\u00E3o norte-americano. Lamport formou-se em Matem\u00E1tica pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em Matem\u00E1tica pela Brandeis University, conclu\u00EDdos respectivamente em 1963 e 1972. O tema de sua tese de doutorado foram singularidades em equa\u00E7oes diferenciais parciais anal\u00EDticas."@pt , "Dr. Leslie Lamport is een Amerikaanse computerwetenschapper. Lamport ontving een B.S. in de wiskunde aan het Massachusetts Institute of Technology in 1960. Hij behaalde ook een M.A. en een Ph.D. in 1963 en 1972, beide in de wiskunde. Als computerwetenschapper is Dr."@nl , ""@ja , "Leslie Lamport est un chercheur en informatique am\u00E9ricain, sp\u00E9cialiste de l'algorithmique r\u00E9partie. Il est n\u00E9 en 1941 \u00E0 New York et a fait des \u00E9tudes en math\u00E9matiques au Massachusetts Institute of Technology (MIT) puis \u00E0 l'universit\u00E9 de Brandeis. Il a notamment formul\u00E9 en 1979 la relation \u00AB arriv\u00E9-avant \u00BB (en anglais \u00AB happened before \u00BB), qui permet d'obtenir un ordre partiel sur les actions dans des syst\u00E8mes r\u00E9partis."@fr , "Leslie Lamport is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972. His dissertation was about singularities in analytic partial differential equations."@en ; foaf:depiction ; foaf:givenname "Leslie"@de . @prefix skos: . @prefix ns13: . dbpedia:Leslie_Lamport skos:subject ns13:Formal_methods_people , ns13:Microsoft_employees , ns13:Researchers_in_distributed_computing , ns13:Massachusetts_Institute_of_Technology_alumni , ns13:Living_people , ns13:Computer_science_writers , ns13:DEC_people , ns13:American_mathematicians , ns13:American_computer_scientists , ns13:Bronx_High_School_of_Science_alumni , ns13:Brandeis_University_alumni , . @prefix ns14: . dbpedia:Leslie_Lamport dbpprop:wikiPageUsesTemplate ns14:persondata , ns14:infobox_scientist . @prefix ns15: . dbpedia:Leslie_Lamport dbpprop:birthDate ns15:birth_date_and_age ; dbpprop:birthPlace dbpedia:New_York_City , dbpedia:New_York ; dbpprop:almaMater dbpedia:Brandeis_University ; dbpprop:imageWidth "150px"@en ; dbpprop:field dbpedia:Computer_Science ; dbpprop:dateOfBirth "1941-02-07"^^xsd:date ; dbpprop:workInstitution dbpedia:Compaq , dbpedia:Digital_Equipment_Corporation , dbpedia:SRI_International , dbpedia:Microsoft_Research ; dbpprop:shortDescription dbpedia:United_States , dbpedia:Computer_Science ; dbpprop:knownFor dbpedia:LaTeX , dbpedia:Byzantine_fault_tolerance , dbpedia:Paxos_algorithm ; dbpprop:doctoralAdvisor "Richard Palais"@en ; dbpprop:prizes dbpedia:Dijkstra_Prize , dbpedia:IEEE_John_von_Neumann_Medal . @prefix ns16: . dbpedia:Leslie_Lamport dbpprop:hasPhotoCollection ns16:Leslie_Lamport . @prefix ns17: . dbpedia:Leslie_Lamport dbpprop:wordnet_type ns17:synset-scientist-noun-1 . dbpedia:LaTeX dbpedia-owl:author dbpedia:Leslie_Lamport . @prefix ns18: . dbpedia:LaTeX ns18:author dbpedia:Leslie_Lamport ; dbpprop:author dbpedia:Leslie_Lamport . dbpedia:Leslie dbpprop:disambiguates dbpedia:Leslie_Lamport . dbpedia:Lamport dbpprop:disambiguates dbpedia:Leslie_Lamport . @prefix yago: . yago:Leslie_Lamport owl:sameAs dbpedia:Leslie_Lamport .