The Man Who Revolutionized Computer Science With Math

Published: 17 May 2022
on channel: Quanta Magazine
2,892,916
110k

Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field of distributed systems, where multiple components on different networks coordinate to achieve a common objective. (Internet searches, cloud computing and artificial intelligence all involve orchestrating legions of powerful computing machines to work together.) In the early 1980s, Lamport also created LaTeX, a document preparation system that provides sophisticated ways to typeset complex formulas and format scientific documents. In 1989, Lamport invented Paxos, a “consensus algorithm” that allows multiple computers to execute complex tasks; without it, modern computing could not exist. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. Lamport’s work since the 1990s has focused on “formal verification,” the use of mathematical proofs to verify the correctness of software and hardware systems. Notably, he created a “specification language” called TLA+ (for Temporal Logic of Actions), which employs the precise language of mathematics to prevent bugs and avoid design flaws.

Read more at Quanta Magazine: https://www.quantamagazine.org/bringi...

VISIT our Website: https://www.quantamagazine.org
LIKE us on Facebook:   / quantanews  
FOLLOW us Twitter:   / quantamagazine  

Quanta Magazine is an editorially independent publication supported by the Simons Foundation https://www.simonsfoundation.org/

#computerscience #math


Watch video The Man Who Revolutionized Computer Science With Math online without registration, duration hours minute second in high quality. This video was added by user Quanta Magazine 17 May 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 2,892,916 once and liked it 110 thousand people.