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.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1941-02-07 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/knownFor
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1941-02-07 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:knownFor
dbpedia-owl:thumbnail
dbpprop:abstract
  • 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’s research contributions have laid the foundations of the theory of distributed systems. Among his most notable papers are “Time, Clocks, and the Ordering of Events in a Distributed System”, which received the PODC Influential Paper Award in 2000, “The Byzantine Generals Problem”, “Distributed Snapshots: Determining Global States of a Distributed System” and “The Part-Time Parliament”. 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 “Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers” and defines as a “quixotic attempt to overcome engineers' antipathy towards mathematics”. 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 “Reaching Agreement in the Presence of Faults” 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:
  • 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ächst den MA-Abschluss (Master of Arts) und erhielt 1972 für 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ählt: In der Formalen Semantik beschäftigte er sich mit Korrektheitsbeweisen für Parallele Algorithmen. Der Bereich Verteilte Systeme, wo er sich vor allem mit der Prozesssynchronisation beschäftigt hat. Die Temporale Logik, wo er die Temporale Logik der Aktionen (TLA) einführte. Lamport arbeitet seit 2001 für Microsoft Research.
  • Leslie Lamport és un informàtic i matemàtic estatunidenc. És especialment conegut per haver creat el sistema LaTeX. Lamport estudià matemàtiques al MIT i a la universitat de Brandeis. Dins del camp de la informàtica és reconegut pel seu treball en algorítmica distribuïda i en lògica temporal, on introduí la Lògica d'Accions Temporal (Temporal Logic of Actions, TLA). També formulà la relació "ha passat abans" (happened before), important en rellotges lògics en sistemes distribuïts, ja que permet obtenir una ordenació parcial. Actualment (2005) treballa per als centres de recerca de Microsoft.
  • PhD. Leslie Lamport es un ingeniero informático estadounidense. Es especialmente conocido por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts Institute of Technology). También cursó un máster y un doctorado en la Universidad de Brandeis, ambos en matemáticas. En el campo de la informática, Lamport es reconocido por su trabajo en algorítmica distribuida y en lógica temporal, en la cual introdujo la lógica de acciones temporal (Temporal Logic of Actions, TLA). Formuló la relación "ocurrido antes" (happened before), importante en relojes lógicos de sistemas distribuidos, ya que permite obtener una ordenación parcial. También introdujo el algoritmo de la panadería de Lamport para exclusión mutua de múltiples hilos en un computador que requieren los mismos recursos al mismo tiempo. En la actualidad, trabaja para Microsoft Research.
  • Leslie Lamport est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il est né en 1941 à New York et a fait des études en mathématiques au Massachusetts Institute of Technology (MIT) puis à l'université de Brandeis. Il a notamment formulé en 1979 la relation « arrivé-avant » (en anglais « happened before »), qui permet d'obtenir un ordre partiel sur les actions dans des systèmes répartis. Lamport a également inventé le système d'horloges qui porte son nom. Elles sont utilisées dans le cadre de la synchronisation des systèmes distribués. Il a également travaillé sur certains aspects cryptographiques comme les mots de passe à usage unique et d'autres problèmes liés au consensus et à la concurrence dans les réseaux. Cependant, Leslie Lamport est principalement connu hors de la communauté scientifique de l'informatique comme le créateur de LaTeX, un système de mise en page de documents notamment utilisé par les scientifiques de nombreuses disciplines pour des documents comportant de nombreuses formules mathématiques. Depuis, le développement de LaTeX est assuré par d'autres. Il travaille actuellement pour les centres de recherche de Microsoft.
  • , conosciuto ai più come l'ideatore di LaTeX, un insieme di macro per il programma TeX.
  • レスリー・ランポート（Leslie Lamport、1941年 -）は、数学者であり、コンピュータ科学者である。博士。 TeXの上にマクロパッケージを組み込んで構築した組版処理システムであるLaTeXの開発者として有名である。 また、コンピュータ科学では、時相論理・フォールトトレランス・分散コンピューティングの研究者として有名である。 マサチューセッツ工科大学にて1960年に学士号、ブランダイス大学にて1963年に修士号、1972年に博士号を授与されている。 現在は、マイクロソフト社の基礎研究所であるMicrosoft Researchで研究を行っている。
  • 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.
  • Leslie Lamport - amerykański informatyk. Kariera naukowa: 1960 - B.S. (Bachelor's degree) z matematyki na Massachusetts Institute of Technology 1963 - M.A. (Master's degree) również z matematyki na Brandeis University 1972 - Ph.D. (Doctor of Philosophy) W informatyce jest najbardziej znany z prac nad logiką temporalną. Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX. Obecnie pracuje dla Microsoft Research.
  • Leslie Lamport é um cientista da computação norte-americano. Lamport formou-se em Matemática pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em Matemática pela Brandeis University, concluídos respectivamente em 1963 e 1972. O tema de sua tese de doutorado foram singularidades em equaçoes diferenciais parciais analíticas. Após a graduação, ele começou sua carreira como cientista computacional no Massachusetts Computer Associates, SRI International, Digital, e Compaq. Em 2001, ele se juntou à Microsoft Research em Mountain View, na California. Suas pesquisas contribuiram com a fundação da teoria de sistemas distribuídos. Alguns dos seus mais notáveis papers nesta área são 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ência computacional, tais como relógios lógicos e a relação antes-depois, bem como as falhas Bizantinas. Estes são alguns dos artigos mais citados no campo de sistemas distribuídos, e descrevem algoritmos para a resolução de muitos problemas fundamentais em sistemas distribuídos, incluindo: O algoritmo de Paxos para consenso the Paxos O algoritmo da padaria para exclusão mútua de múltiplos threads em um sistema de computadores que requerem as mesmas fontes ao mesmo tempo. O algoritmo Snapshot para determinação dos estados globais consistentes. Dr. Lamport recebeu quatro títulos do Doutor 'Honoris Causa' por universidades européias: Universidade de Rennes e Universidade Christian Albrechts de Kiel em 2003, EPFL em 2004, University of Lugano em 2006. Em 2004 ele também recebeu o IEEE Piore Award por causa de suas expressivas contribuições no campo do processamento de informação, em relação à ciência computacional, contribuído significativamente ao avanço e ao melhoramento da sociedade. Fora da ciência computacional, o Dr. Lamport é melhor conhecido como sendo o desenvolvedor inicial do sistema de preparação de documentos, o LaTeX. Home page de Leslie Lamport
  • Dr. Leslie Lamport este un informatician american, matematician şi programator renumit. A lucrat ca informatician la Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, şi Compaq. În 2001 s-a alăturat echipei de informaticieni de la Microsoft Research din Mountain View în California. Ca cercetător, Lamport a contribuit la dezvoltarea teoriei sitemelor distribuite. Lucrările sale cele mai reprezentative în 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ţii Doctor honoris causa de la universităţile europene: Universitatea din Rennes şi Universitatea din Kiel în 2003, EPFL în 2004, Universitatea din Lugano în 2006. În 2004 a primit Premiul IEEE Piore pentru contribuţiile sale aduse doemniului procesării informaţiilor, în relaţie cu informatica. Leslie Lamport a devenit faimos şi este cunoscut şi datorită faptului că este dezvoltatorul iniţial al al sistemului de preparare a documentului LaTeX.
  • Leslie Lamport, född 1941, datavetare, matematiker. Välkänd för sin forskning inom distribuerade system och realtidssystem (bl.a. på grund av sin artikel Time, Clocks, and the Ordering of Events in a Distributed System från 1978). Han är också upphovsman till den välkända TeX-utökningen LaTeX (förstavelsen La är alltså inte bara en referens till en viss gummiprodukt). Han själv tror dock att det han kommer att bli ihågkommen för om hundra år är hans förslag till ett nytt sätt att skriva matematiska bevis. Han menar att det nuvarande sättet knappt har ändrats på 300 år och varken är lättläst eller strukturerat. Tog 1960 en bachelorexamen i matematik från Massachusetts Institute of Technology och fortsatte sedan på Brandeis University där han 1972 doktorerade i samma ämne. Sedan dess har han jobbat på Massachusetts Computer Associates, SRI International, Digital Equipment Corporation Systems Research Center i Palo Alto. Sedan 2001 jobbar Lamport på Microsoft Research i Kalifornien.
dbpprop:almaMater
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:dateOfBirth
  • 1941-02-07 (xsd:date)
dbpprop:doctoralAdvisor
  • Richard Palais
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:imageWidth
  • 150px
dbpprop:knownFor
dbpprop:name
  • Lamport, Leslie
  • Leslie Lamport
dbpprop:prizes
dbpprop:reference
dbpprop:shortDescription
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • 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.
  • 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ächst den MA-Abschluss (Master of Arts) und erhielt 1972 für eine Arbeit in Mathematik den Doktortitel (Ph.D.).
  • Leslie Lamport és un informàtic i matemàtic estatunidenc. És especialment conegut per haver creat el sistema LaTeX. Lamport estudià matemàtiques al MIT i a la universitat de Brandeis. Dins del camp de la informàtica és reconegut pel seu treball en algorítmica distribuïda i en lògica temporal, on introduí la Lògica d'Accions Temporal (Temporal Logic of Actions, TLA).
  • PhD. Leslie Lamport es un ingeniero informático estadounidense. Es especialmente conocido por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts Institute of Technology). También cursó un máster y un doctorado en la Universidad de Brandeis, ambos en matemáticas.
  • Leslie Lamport est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il est né en 1941 à New York et a fait des études en mathématiques au Massachusetts Institute of Technology (MIT) puis à l'université de Brandeis. Il a notamment formulé en 1979 la relation « arrivé-avant » (en anglais « happened before »), qui permet d'obtenir un ordre partiel sur les actions dans des systèmes répartis.
  • , conosciuto ai più come l'ideatore di LaTeX, un insieme di macro per il programma TeX.
  • 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.
  • Leslie Lamport - amerykański informatyk. Kariera naukowa: 1960 - B.S. (Bachelor's degree) z matematyki na Massachusetts Institute of Technology 1963 - M.A. (Master's degree) również z matematyki na Brandeis University 1972 - Ph.D. (Doctor of Philosophy) W informatyce jest najbardziej znany z prac nad logiką temporalną. Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX. Obecnie pracuje dla Microsoft Research.
  • Leslie Lamport é um cientista da computação norte-americano. Lamport formou-se em Matemática pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em Matemática pela Brandeis University, concluídos respectivamente em 1963 e 1972. O tema de sua tese de doutorado foram singularidades em equaçoes diferenciais parciais analíticas.
  • Dr. Leslie Lamport este un informatician american, matematician şi programator renumit. A lucrat ca informatician la Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, şi Compaq. În 2001 s-a alăturat echipei de informaticieni de la Microsoft Research din Mountain View în California. Ca cercetător, Lamport a contribuit la dezvoltarea teoriei sitemelor distribuite.
  • Leslie Lamport, född 1941, datavetare, matematiker. Välkänd för sin forskning inom distribuerade system och realtidssystem (bl.a. på grund av sin artikel Time, Clocks, and the Ordering of Events in a Distributed System från 1978). Han är också upphovsman till den välkända TeX-utökningen LaTeX (förstavelsen La är alltså inte bara en referens till en viss gummiprodukt).
rdfs:label
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
  • レスリー・ランポート
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
  • Leslie Lamport
owl:sameAs
skos:subject
foaf:depiction
foaf:givenname
  • Leslie
  • Leslie
foaf:name
  • Leslie Lamport
  • Leslie Lamport
foaf:page
foaf:surname
  • Lamport
  • Lamport
is dbpedia-owl:Work/author of
is dbpedia-owl:author of
is dbpprop:author of
is dbpprop:disambiguates of
is owl:sameAs of