Saltar para o conteúdo

Leslie Lamport

Origem: Wikipédia, a enciclopédia livre.
Leslie Lamport
Leslie Lamport
Conhecido(a) por LaTeX
Nascimento 7 de fevereiro de 1941 (83 anos)
Nova Iorque
Nacionalidade Estadunidense
Alma mater Universidade Brandeis
Prêmios Prêmio Dijkstra (2000, 2005, 2014), Medalha John von Neumann IEEE (2008), Prêmio Turing (2013)
Orientador(es)(as) Richard Palais[1]
Instituições Microsoft Research, Compaq, Digital Equipment Corporation, SRI International
Campo(s) Matemática, ciência da computação
Tese 1972: The Analytic Cauchy Problem with Singular Data
Notas «Página pessoal» (em inglês) 

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:

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, Lamport é conhecido como desenvolvedor inicial do sistema de preparação de documentos LaTeX.

Recebeu o Prêmio Turing de 2013.[2]

Referências

Ligações externas

[editar | editar código-fonte]

Precedido por
Charles Thacker
Medalha John von Neumann IEEE
2008
Sucedido por
Susan Lois Graham
Precedido por
Silvio Micali e Shafrira Goldwasser
Prêmio Turing
2013
Sucedido por
Michael Stonebraker