programming ≠ coding

Leslie Lamport (Microsoft)
Thu April 11th 2024, 7:30 - 9:00pm
Everett and Jane Hauck Auditorium, David and Joan Traitel Building of Hoover Institution, Stanford University
MRC Event Series

Coding is the last step in writing a program. First, one decides what the program should do and how it should do it. The best way to work through subsequent steps is with mathematics. But programmers can’t use the simple math they need and mathematicians don’t teach them.

Winner of the 2013 Turing Award (the "Nobel Prize of computer science"), Leslie Lamport is a Distinguished Scientist at Microsoft Research. After writing a thesis on partial differential equations, he has worked in the computer industry, focusing on practical problems. In the process of solving them, he used mathematics to invent very general frameworks for thinking about the foundations of concurrent programming and distributed systems. And all of this work started with the quest to understand how to organize a queue at a local bakery. Any time you access a modern computer, you are likely to be impacted by Lamport’s algorithms. To those outside of computer science, he is best known as the author of LaTeX, a document formatting system that extends D. E. Knuth’s TeX and is now the standard for publishing in many fields, including mathematics, computer science, statistics, physics, and works that contain multilingual or technical materials.

You can learn more about Leslie Lamport here: