| dbo:abstract
|
- ليسلي لامبورت (بالإنجليزية: Leslie Lamport)، من مواليد 17 فبراير 1941، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي. (ar)
- 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. (ca)
- 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 . Pracoval pak v Massachusetts Computer Associates v letech 1970 až 1977, v v letech 1977 až 1985, v Digital Equipment Corporation a Compaqu v letech 1985 až 2001. V roce 2001 nastoupil do . V roce 2005 získal jeho článek „Reaching Agreement in the Presence of Faults“ . 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. (cs)
- 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. (de)
- Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación 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. (es)
- Leslie B. Lamport (born February 7, 1941 in Brooklyn) is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. 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. (en)
- Leslie B. 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). (fr)
- Leslie Lamport (New York, 7 febbraio 1941) è un matematico e informatico statunitense. È noto per essere stato pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, nonché ideatore di LaTeX, un'estensione del software tipografico TeX. (it)
- Leslie Lamport (New York, 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. (nl)
- 레슬리 램포트 (1941년 2월 7일 뉴욕 시 출생)는 미국의 컴퓨터 과학자이다. 를 졸업하고, 매사추세츠 공과대학교에서 1960년에 학사 학위를 받은 뒤, 브랜다이스 대학교에서 석사와 박사학위를 각각 1963년과 1972년에 받았다. 해석학적 편미분 방정식의 특이점을 다룬 논문으로 박사 학위를 받았다. 램포트는 분산 시스템에 대한 연구와 LaTeX 문서 조판 시스템의 초기 개발자로 잘 알려져있다. 2013년에 튜링상을 받았다. (ko)
- レスリー・B・ランポート（Leslie B. Lamport、1941年2月7日 - ）は、アメリカ合衆国の計算機科学者である。 分散システムの先駆的な研究で知られる。文書作成システムLaTeXの最初の開発者であり、その最初のマニュアルの著者でもある。ランポートは、自律的に動作する複数のコンピュータがメッセージをやり取りして相互に通信を行う分散コンピューティングシステムの一見するとカオスな振る舞いに、明確でWell-definedな一貫性を課したことで、2013年のチューリング賞を受賞した。彼は、実際の分散システムの品質を向上させるための重要なアルゴリズムを考案し、その形式モデルと検証プロトコルを開発した。これらの貢献は、コンピュータシステムの正確性、性能、信頼性の向上につながっている。 (ja)
- 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 temporalna Wkład w dziedzinę systemy rozproszone obejmuje m.in.:
*
* Problem Bizantyjskich Generałów Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX. Obecnie pracuje dla Microsoft Research. (pl)
- Лесли Лэмпорт (англ. Leslie Lamport; род. 7 февраля 1941, Нью-Йорк, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года. Член Национальной академии наук США (2011), Национальной инженерной академии США (1991). (ru)
- Leslie Lamport, född 7 februari 1941 i New York, är en amerikansk datavetare och matematiker. Lamport är mest känd för sin forskning inom distribuerade system och realtidssystem (bland annat 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. 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.[källa behövs] Leslie 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 (1970 - 1977), SRI International (1977 - 1985), Digital Equipment Corporation Systems Research Center i Palo Alto (1985 - 2001). Sedan 2001 jobbar Lamport på Microsoft Research i Kalifornien. 2013 tog han emot Turingpriset. (sv)
- 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 , 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 . 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 para consenso the Paxos
* O para exclusão mútua de múltiplos threads em um sistema de computadores que requerem as mesmas fontes ao mesmo tempo.
* O para determinação dos estados globais consistentes. 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, em 2006. Em 2004 ele também recebeu o 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, Lamport é conhecido como desenvolvedor inicial do sistema de preparação de documentos LaTeX. Recebeu o Prêmio Turing de 2013. (pt)
- 莱斯利·兰波特（英語：Leslie Lamport，1941年2月7日－），美国计算机科学家。也是排版系統LaTeX的開發者。 (zh)
- Леслі Лампорт (англ. Leslie Lamport; нар. 7 лютого 1941, Нью-Йорк) — американський дослідник в галузі інформатики. Випускник з , отримав ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними. Лампорт відомий, в першу чергу, за дослідження розподілених систем та як перший розробник системи LaTeX. Леслі Лампорт працював дослідником в Massachusetts Computer Associates, , Digital Equipment Corporation та Compaq. 2001 р. перейшов до Microsoft Research в Маунтін-В'ю, Каліфорнія. (uk)
|
| rdfs:comment
|
- ليسلي لامبورت (بالإنجليزية: Leslie Lamport)، من مواليد 17 فبراير 1941، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي. (ar)
- 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. (ca)
- 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. (de)
- Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación 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. (es)
- Leslie B. Lamport (born February 7, 1941 in Brooklyn) is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. 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. (en)
- Leslie B. 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). (fr)
- Leslie Lamport (New York, 7 febbraio 1941) è un matematico e informatico statunitense. È noto per essere stato pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, nonché ideatore di LaTeX, un'estensione del software tipografico TeX. (it)
- Leslie Lamport (New York, 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. (nl)
- 레슬리 램포트 (1941년 2월 7일 뉴욕 시 출생)는 미국의 컴퓨터 과학자이다. 를 졸업하고, 매사추세츠 공과대학교에서 1960년에 학사 학위를 받은 뒤, 브랜다이스 대학교에서 석사와 박사학위를 각각 1963년과 1972년에 받았다. 해석학적 편미분 방정식의 특이점을 다룬 논문으로 박사 학위를 받았다. 램포트는 분산 시스템에 대한 연구와 LaTeX 문서 조판 시스템의 초기 개발자로 잘 알려져있다. 2013년에 튜링상을 받았다. (ko)
- レスリー・B・ランポート（Leslie B. Lamport、1941年2月7日 - ）は、アメリカ合衆国の計算機科学者である。 分散システムの先駆的な研究で知られる。文書作成システムLaTeXの最初の開発者であり、その最初のマニュアルの著者でもある。ランポートは、自律的に動作する複数のコンピュータがメッセージをやり取りして相互に通信を行う分散コンピューティングシステムの一見するとカオスな振る舞いに、明確でWell-definedな一貫性を課したことで、2013年のチューリング賞を受賞した。彼は、実際の分散システムの品質を向上させるための重要なアルゴリズムを考案し、その形式モデルと検証プロトコルを開発した。これらの貢献は、コンピュータシステムの正確性、性能、信頼性の向上につながっている。 (ja)
- 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 temporalna Wkład w dziedzinę systemy rozproszone obejmuje m.in.:
*
* Problem Bizantyjskich Generałów Ponadto jest znany jako twórca i propagator systemu składu tekstu LaTeX. Obecnie pracuje dla Microsoft Research. (pl)
- Лесли Лэмпорт (англ. Leslie Lamport; род. 7 февраля 1941, Нью-Йорк, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры. Разработчик LaTeX — популярного набора макрорасширений системы компьютерной вёрстки TeX, исследователь теории распределённых систем, темпоральной логики и вопросов синхронизации процессов во взаимодействующих системах. Лауреат Премии Тьюринга 2013 года. Член Национальной академии наук США (2011), Национальной инженерной академии США (1991). (ru)
- 莱斯利·兰波特（英語：Leslie Lamport，1941年2月7日－），美国计算机科学家。也是排版系統LaTeX的開發者。 (zh)
- 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 . Pracoval pak v Massachusetts Computer Associates v letech 1970 až 1977, v v letech 1977 až 1985, v Digital Equipment Corporation a Compaqu v letech 1985 až 2001. V roce 2001 nastoupil do . (cs)
- 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.
* "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" (pt)
- Leslie Lamport, född 7 februari 1941 i New York, är en amerikansk datavetare och matematiker. Lamport är mest känd för sin forskning inom distribuerade system och realtidssystem (bland annat 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. 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.[källa behövs] (sv)
- Леслі Лампорт (англ. Leslie Lamport; нар. 7 лютого 1941, Нью-Йорк) — американський дослідник в галузі інформатики. Випускник з , отримав ступінь бакалавра математики в MIT 1960 р., та ступінь магістра 1963 р. і Ph.D. 1972 р. з математики в Університеті Брандейса. Його дисертація присвячена сингулярності в аналітичних диференціальних рівняннях з частинними похідними. Лампорт відомий, в першу чергу, за дослідження розподілених систем та як перший розробник системи LaTeX. (uk)
|
