List of Famous people with last name Lamport

William Lamport

First Name William
Last Name Lamport
Died on November 19, 1659
Born in Ireland

William Lamport (1611–1659) was an Irish Catholic adventurer, known in Mexico as Don Guillén de Lampart y Guzmán. He was tried by the Mexican Inquisition for sedition and executed in 1659. He claimed to be a bastard son of King Philip III of Spain and therefore the half-brother of King Philip IV.

Know him/her \
Don't know him/her

Leslie Lamport

First Name Leslie
Last Name Lamport
Born on February 7, 1941 (age 83)

Leslie B. Lamport is an American computer scientist. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems.

Know him/her \
Don't know him/her
    index: 1x 0.030531167984009s
fmsppl-page-output: 1x 0.023285865783691s
t_/pages/list-of-people: 1x 0.02324390411377s
t_/common/header: 1x 0.0093269348144531s
t_/blocks/list-of-people: 1x 0.0093200206756592s
t_/blocks/person-card: 2x 0.0074102878570557s
router_page: 1x 0.0061581134796143s
list-of-people-content: 1x 0.0053310394287109s
headline: 2x 0.0033059120178223s
t_/common/head: 1x 0.00048494338989258s
head-facts: 1x 0.00045394897460938s
t_/common/footer: 1x 0.00040578842163086s
t_/blocks/switcher: 1x 2.0980834960938E-5s
qids: 1.5x 2.0027160644531E-5s
using-file-qids-cache: 1x 4.0531158447266E-6s
related: 1x 4.0531158447266E-6s
using-qids-cache: 1x 9.5367431640625E-7s
----- END OF DUMP (2024-05-18 11:05:05)  -----