Leslie Lamport

3 minuto(s) de lectura

Leslie Lamport | Visto en Ciberninjas

Biograf铆a de Leslie Lamport

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 鈥渆n 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 鈥淎lgoritmo 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 鈥淕enerales 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 鈥渂izantinas鈥 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.

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

馃憟 Regresar a Biograf铆as Recientes

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

Actualizado: