In this episode of ACM ByteCast, our special guest host Scott Hanselman welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research
external-link
2
In this episode of ACM ByteCast, our special guest host Scott Hanselman welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research
In this episode of ACM ByteCast, our special guest host Scott Hanselman welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.
learning.acm.org
external-link
In this episode of ACM ByteCast, our special guest host Scott Hanselman (of The Hanselminutes Podcast) welcomes 2013 ACM A.M. Turing Award laureate Leslie Lamport of Microsoft Research, best known for his seminal work in distributed and concurrent systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Among his many honors and recognitions, Lamport is a Fellow of ACM and has received the IEEE Emanuel R. Piore Award, the Dijkstra Prize, and the IEEE John von Neumann Medal.

Leslie shares his journey into computing, which started out as something he only did in his spare time as a mathematician. Scott and Leslie discuss the differences and similarities between computer science and software engineering, the math involved in Leslie’s high-level temporal logic of actions (TLA), which can help solve the famous Byzantine Generals Problem, and the algorithms Leslie himself has created. He also reflects on how the building of distributed systems has changes since the 60s and 70s.

Software Engineering
!softwareengineering
Create a post

Software Engineering is the systematic and engineered development of software in all its life cycle.

Rules

  1. Keep related to software engineering
  2. Keep comments on-topic of the post
  3. Try to post free/open access content
  4. Try to post content from reliable sources (ACM, IEEE, SEI, NN/G, …)
  5. Be genuinely respectful, kind, helpful; act in and assume good faith
  6. No discrimination
  7. No personal attacks, no personal questions
  8. No attention stealing: no ads, spam, influencers influencing, memes, trolling, emotional manipulation/advertising (e.g. engagement through enragement or other negative emotions), jokes that dissipate the focus of the topic, …

Resources

  • 0 users online
  • 1 user / day
  • 1 user / week
  • 2 users / month
  • 3 users / 6 months
  • 16 subscribers
  • 29 Posts
  • 2 Comments
  • Modlog