Leslie Lamport (llevado el 7 de febrero, el 1941 en el New York City ) es informático americano . Un graduado de la High School secundaria de Bronx de la ciencia, él recibió un B. en las matemáticas Instituto de Tecnología de Massachusetts en el 1960, y el M. en matemáticas de la universidad de Brandeis, respectivamente en el 1963 y el 1972 . Su disertación estaba sobre singularidades en ecuaciones diferenciales parciales analítico que Lamport es el más conocido para su trabajo seminal en sistemas distribuidos y como el revelador inicial del látex del sistema de la preparación de documentos.

Profesional, Lamport trabajó como informático en Massachusetts Computer Associates, SRI internacional, Digital Equipment Corporation, y Compaq . En 2001 él ensambló la investigación de Microsoft en el Mountain View, California . cuál recibió la concesión de papel influyente PODC en el 2000,
“El problema bizantino de los generales”,
“Fotos distribuidas: Determinando estados globales de un sistema distribuido” y
“El parlamento por horas”. Estos papeles se relacionan con los conceptos tales que los relojes lógicos (y el Suceder-antes de la relación de ) y las faltas bizantinas ellos son entre los papeles citados del campo de informática y describen algoritmos para solucionar muchos problemas fundamentales en sistemas distribuidos, incluyendo:
el algoritmo de Paxos para el consenso,
el algoritmo de la panadería para la exclusión mutua de los hilos de rosca del múltiplo en un sistema informático que requieren los mismos recursos al mismo tiempo y
el algoritmo de la foto para la determinación de estados globales constantes.

Lamport también se conoce para su trabajo sobre la lógica temporal, donde él introdujo la lógica temporal de las acciones (TLA). Entre sus contribuciones más recientes está TLA⁺, una lógica por especificar y razonar sobre los sistemas concurrentes y reactivos, que él describe en el libro “que especifica sistemas: La lengua y las herramientas de TLA⁺ para el hardware y las Software Engineers” y define como “tentativa quijotesca de superar la antipatía de los ingenieros hacia matemáticas”.

Lamport recibió cuatro doctorados honorarios de universidades europeas: Universidad Rennes y universidad cristiana de Albrechts de Kiel en 2003, EPFL en 2004 y universidad de Lugano en 2006. En 2005, el papel el “que alcanzaba acuerdo en presencia de averías” recibió el premio de Dijkstra.

Lamport es el autor del aforismo :

Ver también

firma de Lamport - el esquema de una sola vez de la firma de Lamport es un método para construir una firma digital.

Zenithic

Leslie Lamport

Random links:

Tiffani Thiessen | Ofiolito | Palmada de Thomas | Lincoln Versalles | Ella es diecinueve años