1941 – actualidad · Investigador en sistemas distribuidos
Leslie Lamport
Investigador conocido por sus relojes lógicos, el protocolo Paxos, el lenguaje TLA+ y el sistema de documentos LaTeX.
- Sistemas distribuidos
- Verificación formal
Aportaciones principales
- Desarrolló relojes lógicos para ordenar eventos en sistemas distribuidos.
- Contribuyó a protocolos de consenso como Paxos.
- Creó TLA+ para especificar sistemas y LaTeX para preparar documentos.
Razonar sin un reloj compartido
Leslie Lamport estudió cómo coordinar procesos que se comunican mediante mensajes. Sus relojes lógicos permiten representar relaciones de precedencia entre eventos sin suponer que todos los equipos disponen de una hora física perfectamente sincronizada.
Especificar antes de implementar
Sus aportaciones incluyen Paxos, relacionado con el consenso entre procesos, y TLA+, utilizado para describir y analizar el comportamiento de sistemas. También creó LaTeX, un sistema de preparación de documentos. En sus trabajos destaca la importancia de expresar claramente las propiedades que un sistema debe cumplir.
Conecta con lo que aprendes
Imagina dos servidores que reciben cambios al mismo tiempo y pierden temporalmente la conexión. Describe primero qué significa que el resultado sea correcto. Esa definición permite detectar problemas que no aparecen al probar una única ejecución sin fallos.