Leslie Lamport in Podcasts
personAmerican engineer and researcher, known for his work on distributed systems and formal methods.
engineer
person
researcher
distributed systems
(0.800000011920929)
formal methods
(0.800000011920929)
Mentions Over Time
1
mentions
Mentions in Podcasts
The Peterman Pod
AWS Distinguished Eng: Learning From 3000 Incidents And How Engineering Is Changing | Marc Brooker
Um, and so I saw one of, you know, your early conversations with, was with Leslie Lamport, who kind of takes that a step further and say, Hey, you know, it's formal mathematics.