Leslie Lamport, né le 7 février 1941 à New York, est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il a obtenu le prix Turing 2013. Il est le concepteur du logiciel libre de composition de documents LaTeX (1983).

PropertyValue
dbpedia-owl:abstract
  • Leslie Lamport, né le 7 février 1941 à New York, est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il a obtenu le prix Turing 2013. Il est le concepteur du logiciel libre de composition de documents LaTeX (1983).
  • Leslie Lamport (* 7. Februar 1941 in New York) ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme.
  • レスリー・ランポート(Leslie Lamport、1941年 - )は、数学者であり、コンピュータ科学者である。博士。ニューヨーク市生まれ。TeX の上にマクロパッケージを組み込んで構築した組版処理システムである LaTeX の開発者として有名である。また、コンピュータ科学では、時相論理・フォールトトレランス・分散コンピューティングの研究者として有名である。マサチューセッツ工科大学にて1960年に学士号、ブランダイス大学にて1963年に修士号、1972年に博士号を授与されている。現在は、マイクロソフト社の基礎研究所であるマイクロソフトリサーチで研究を行っている。2013年チューリング賞受賞。
  • Лесли Лэмпорт (англ. Leslie Lamport; 7 февраля 1941, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Тьюринговский лауреат (2013).
  • Leslie Lamport (* 7. února 1941 v New Yorku) je matematik a informatik ze Spojených států amerických, původní autor sázecího systému LaTeX.Narodil se v roce 1941 v New Yorku, titul bakaláře získal na Massachusettském technologickém institutu v roce 1960 a pak získal titul magistra v roce 1963 a Ph.D. v roce 1972 na Brandeisově univerzitě. Pracoval pak v Massachusetts Computer Associates v letech 1970 až 1977, v SRI International v letech 1977 až 1985, v Digital Equipment Corporation a Compaqu v letech 1985 až 2001. V roce 2001 nastoupil do Microsoft Research.V roce 2005 získal jeho článek „Reaching Agreement in the Presence of Faults“ Dijkstrovu cenu. Od roku 2011 je členem Národní akademie věd Spojených států amerických. V roce 2014 mu byla za přínos ke spolehlivosti a konzistenci počítačových systémů udělena Turingova cena.
  • Leslie Lamport (nacido el 7 de febrero de 1941, en Nueva York) es un matemático e informático estadounidense. Es especialmente conocido por sus trabajos en Sistemas Distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. Fue ganador del Premio Turing de 2013 por sus trabajos para imponer coherencia sobre el aparente comportamiento caótico de los sistemas distribuidos, en los cuales varios ordenadores se comunican mediante un mecanismo de paso de mensajes. En su trabajo ha diseñado algoritmos, modelos formales y protocolos de verificación que mejoran la corrección, eficiencia y seguridad de dichos sistemas distribuidos.
  • 레슬리 램포트 (1941년 2월 7일 뉴욕 시 출생)는 미국의 컴퓨터 과학자이다. 브롱스 과학고등학교를 졸업하고, 매사추세츠 공과대학교에서 1960년에 학사 학위를 받은 뒤, 브랜다이스 대학교에서 석사와 박사학위를 각각 1963년과 1972년에 받았다. 그의 박사 학위 논문은 해석학적 편미분 방정식의 특이점을 다뤘다. 램포트는 분산 시스템에 대한 연구로 가장 잘 알려져 있고, LaTeX 문서 조판 시스템의 초기 개발자로도 잘 알려져있다.
  • Leslie Lamport (New York, 7 febbraio 1941) è un informatico statunitense. Conosciuto ai più come pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, e come l'ideatore di LaTeX, un insieme di macro per il programma TeX.
  • Leslie Lamport (ur. 1941) – 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)Dziedziny w których dokonał znaczącego wkładu: systemy rozproszone logika temporalnaWkład w dziedzinę systemy rozproszone obejmuje m.in.: Algorytm Paxos Problem Bizantyjskich Generałów Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX.Obecnie pracuje dla Microsoft Research.
  • Leslie Lamport (New York City, 7 februari 1941) is een Amerikaanse computerwetenschapper. Hij is bekend vanwege zijn werk op het gebied van de gedistribueerde systemen en tijdslogica. Bovendien was hij de oorspronkelijke ontwerper van het TeX-macropakket LaTeX.
  • Leslie Lamport (born February 7, 1941 in New York City) 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 is 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 (Nova York, 1941) é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.
  • Leslie Lamport (New York, 1941. február 7.) amerikai informatikus, a LaTeX szövegformázó rendszer megalkotója.
  • Leslie B. Lamport (7 de fevereiro de 1941) é um cientista da computação estadunidense.Lamport formou-se em matemática pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em matemática pela Universidade Brandeis, concluídos respectivamente em 1963 e 1972. O tema de sua tese de doutorado foram singularidades em equações 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 contribuíram 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 (logical clocks) 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 europeias: 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.Recebeu o Prêmio Turing de 2013.== Referências ==
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 54565 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4273 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 43 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 106608644 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • Leslie Lamport, né le 7 février 1941 à New York, est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il a obtenu le prix Turing 2013. Il est le concepteur du logiciel libre de composition de documents LaTeX (1983).
  • Leslie Lamport (* 7. Februar 1941 in New York) ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme.
  • レスリー・ランポート(Leslie Lamport、1941年 - )は、数学者であり、コンピュータ科学者である。博士。ニューヨーク市生まれ。TeX の上にマクロパッケージを組み込んで構築した組版処理システムである LaTeX の開発者として有名である。また、コンピュータ科学では、時相論理・フォールトトレランス・分散コンピューティングの研究者として有名である。マサチューセッツ工科大学にて1960年に学士号、ブランダイス大学にて1963年に修士号、1972年に博士号を授与されている。現在は、マイクロソフト社の基礎研究所であるマイクロソフトリサーチで研究を行っている。2013年チューリング賞受賞。
  • Лесли Лэмпорт (англ. Leslie Lamport; 7 февраля 1941, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Тьюринговский лауреат (2013).
  • 레슬리 램포트 (1941년 2월 7일 뉴욕 시 출생)는 미국의 컴퓨터 과학자이다. 브롱스 과학고등학교를 졸업하고, 매사추세츠 공과대학교에서 1960년에 학사 학위를 받은 뒤, 브랜다이스 대학교에서 석사와 박사학위를 각각 1963년과 1972년에 받았다. 그의 박사 학위 논문은 해석학적 편미분 방정식의 특이점을 다뤘다. 램포트는 분산 시스템에 대한 연구로 가장 잘 알려져 있고, LaTeX 문서 조판 시스템의 초기 개발자로도 잘 알려져있다.
  • Leslie Lamport (New York, 7 febbraio 1941) è un informatico statunitense. Conosciuto ai più come pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, e come l'ideatore di LaTeX, un insieme di macro per il programma TeX.
  • Leslie Lamport (New York City, 7 februari 1941) is een Amerikaanse computerwetenschapper. Hij is bekend vanwege zijn werk op het gebied van de gedistribueerde systemen en tijdslogica. Bovendien was hij de oorspronkelijke ontwerper van het TeX-macropakket LaTeX.
  • Leslie Lamport (New York, 1941. február 7.) amerikai informatikus, a LaTeX szövegformázó rendszer megalkotója.
  • Leslie Lamport (born February 7, 1941 in New York City) 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 is 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.
  • Leslie Lamport (nacido el 7 de febrero de 1941, en Nueva York) es un matemático e informático estadounidense. Es especialmente conocido por sus trabajos en Sistemas Distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX.
  • Leslie B. Lamport (7 de fevereiro de 1941) é um cientista da computação estadunidense.Lamport formou-se em matemática pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em matemática pela Universidade Brandeis, concluídos respectivamente em 1963 e 1972.
  • Leslie Lamport (ur. 1941) – 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.
  • Leslie Lamport (* 7. února 1941 v New Yorku) je matematik a informatik ze Spojených států amerických, původní autor sázecího systému LaTeX.Narodil se v roce 1941 v New Yorku, titul bakaláře získal na Massachusettském technologickém institutu v roce 1960 a pak získal titul magistra v roce 1963 a Ph.D. v roce 1972 na Brandeisově univerzitě.
  • Leslie Lamport (Nova York, 1941) é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).
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
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of