Leslie Lamport 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

Ver en Wikipedia

Noticias que mencionan Leslie Lamport

Del árbol de Merkle a la firma digital: cómo se autentican los mensajes

La entrada explica de forma didáctica qué es un árbol de Merkle y por qué resulta clave para autenticar mensajes en sistemas digitales. Parte de una analogía histórica: los sellos reales y las firmas autógrafas, fácilmente falsificables en entornos digitales, para introducir el problema de la autent

Los LLMs hacen accesible la verificación formal con TLA+

Los modelos de lenguaje grande (LLMs) están facilitando el uso de TLA+ (Temporal Logic of Actions), un lenguaje de verificación formal inventedo por Leslie Lamport en la década de 1990. Según el ingeniero Jesse Jiryu Davis en un artículo publicado en emptysqua.re, los LLMs Frontier pueden generar có