Leslie Lamport

3 minuto(s) de lectura

Leslie Lamport | Visto en Ciberninjas

All-Star Informático 2019

Premiado por sus contribuciones al análisis y diseño de sistemas informáticos distribuidos, y por la creación inicial del sistema de producción de documentos LaTeX.

Inventor del sistema de producción de documentos LaTeX

✍ Biografía

Leslie Lamport nació en la ciudad de Nueva York en 1941. Durante una carrera de cinco décadas, Lamport ha realizado múltiples contribuciones innovadoras a la teoría y la práctica de los sistemas informáticos distribuidos y concurrentes, ideas que han mejorado drásticamente el rendimiento y la confiabilidad de dichos sistemas.

Igualmente fundamental, pero en un campo de computación completamente diferente, Lamport desarrolló la versión inicial del sistema de preparación de documentos LaTeX, una extensión del sistema TeX de Donald Knuth, ambos estándares mundiales para componer y publicar documentos científicos.

Los documentos de Lamport sobre la corrección lógica, concurrencia y computación multiprocesador son algunos de los artículos más frecuentemente citados en toda la informática, que sientan las bases de la teoría de los sistemas distribuidos.

Lamport se graduó del MIT en 1960 con una licenciatura en matemáticas y luego asistió a la Universidad de Brandeis para obtener una maestría y un doctorado en matemáticas (1972), mientras trabajaba a tiempo parcial, de 1962 a 1965, en la Mitre Corporation. Su tesis se centró en ecuaciones diferenciales parciales. La carrera profesional de Lamport comenzó en 1970 en Massachusetts Computer Associates (hasta 1977), SRI International de 1977 a 1985, y Digital Equipment Corporation y Compaq de 1985 a 2001. Desde 2001 ha estado en Microsoft Research, donde es un científico distinguido.

La decisión de Lamport de trabajar en la industria, en lugar de la academia, fue por diseño: prefiere trabajar en los problemas del mundo real que enfrentan los desarrolladores de computadoras (hardware y software) y vio desde el principio que había algunos aspectos particularmente poco conocidos de la informática que estaban teniendo progreso hacia atrás.

Muchas de las contribuciones más profundas de Lamport se basan filosóficamente en problemas mucho más simples, a menudo cotidianos. Por ejemplo, expresó el problema informático de la concurrencia (múltiples procesos “en vuelo” hacia el procesador principal de la computadora) en términos de clientes en una panadería y cómo podrían organizarse para que solo un cliente (proceso) tuviera acceso al cajero ( CPU) a la vez.

En primera instancia, las personas simplemente toman un número y esperan su turno. Pero hay otras sutilezas que pueden ocurrir y el “Algoritmo de panadería” puede extenderse para tenerlas en cuenta; El modelo de panadería en sí ha sido un tema recurrente en el trabajo de Lamport, inspirándolo a generar otras ideas fundamentales sobre la concurrencia basadas en la idea general. Este algoritmo ahora aparece en los libros de texto de ciencias de la computación de pregrado en todo el mundo.

Otra área en la que realizó importantes contribuciones fue con la noción de tolerancia a fallas, la idea de que los sistemas informáticos pueden diseñarse y construirse para soportar fallas ocasionales, limitadas o datos incorrectos. Mientras trabajaba en un sistema de control de aviónica de cabina para la NASA en el SRI a principios de la década de 1970, identificó la noción del modelo de “Generales bizantinos”, un enfoque que ve al procesador de la computadora como un general del ejército tratando de coordinar las acciones de sus tropas, mientras También representa traidores en el ejército que enviarán deliberadamente señales contradictorias. Lamport era un miembro del grupo que identificó y estudió por primera vez el problema de tolerar fallas “bizantinas” en las que una computadora podría hacer algo, incluso actuar de manera maliciosa.

Las otras contribuciones de Lamport son igualmente profundas y fundamentales para la informática. Si usa una computadora hoy, se beneficia del pensamiento profundo de Lamport y de sus algoritmos fundamentales.

👈 Regresar a Biografías Recientes

Fuente: Bajo permiso de utilización y reconocimiento al Museum Computer History

Actualizado:

Deja un comentario