Leslie Lamport

entities · 2 notes linked

Related: Distributed Systems · Alan Turing · Claude Shannon · John Mccarthy · Computer Science History · Information Theory · Type Theory · Formal Verification

Notes

• 100 Years of Computer Science — Curated timeline of ten landmark computer science papers 1923-2014
• Computing Expert Says Programmers Need More Math | Quanta Magazine — Leslie Lamport argues formal specification and math are essential for correct software