Leslie Lamport

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Leslie Lamport
Matemática, ciência da computação
Nacionalidade Estados Unidos Estadunidense
Nascimento 7 de fevereiro de 1941 (73 anos)
Local Nova Iorque
Atividade
Campo(s) Matemática, ciência da computação
Instituições Microsoft Research, Compaq, Digital Equipment Corporation, SRI International
Alma mater Universidade Brandeis
Tese 1972: The Analytic Cauchy Problem with Singular Data
Orientador(es) Richard Palais[1]
Prêmio(s) Medalha John von Neumann IEEE (2008), Prêmio Turing (2013)
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:

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.[2]

Referências

Ligações externas[editar | editar código-fonte]


Precedido por
Charles Thacker
Medalha John von Neumann IEEE
2008
Sucedido por
Susan L. Graham