Leslie Lamport
informático estadounidense / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Leslie Lamport?
Resumir este artículo para un niño de 10 años
Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) 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.[1] 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 algoritmos, modelos formales y protocolos de verificación que mejoran la corrección, eficiencia y seguridad de dichos sistemas distribuidos.[2][3][4]
El texto que sigue es una traducción defectuosa. |
Leslie Lamport | ||
---|---|---|
Información personal | ||
Nacimiento |
7 de febrero de 1941 (83 años) Nueva York (Estados Unidos) | |
Nacionalidad | Estadounidense | |
Lengua materna | Inglés | |
Educación | ||
Educación | Maestría en ciencias y doctor en Filosofía | |
Educado en |
| |
Supervisor doctoral | Richard Palais | |
Información profesional | ||
Ocupación | Matemático, informático teórico, programador, ingeniero y escritor | |
Área | Ciencias de la computación y computación distribuida | |
Conocido por |
| |
Empleador |
| |
Obras notables |
| |
Miembro de | ||
Sitio web | www.lamport.org | |
Distinciones |
| |