Τελικά ο Leslie Lamport rules the world ...

anjelinio — Fri, 21 May 2010 07:50:50 GMT

¨Ελεγα τόσον καιρό, post-αρα για τον Brian Beckman .... αλλά τελικά έκανα λάθος. Τελικά ο Gandalf των distributed systems, ο α π ό λ υ τ ο ς είναι ο Leslie Lamport. Δεν τον ήξερα καν !!!

Leslie Lamport is a computer scientist and mathematician best known for his work with distributed systems. In fact, Dr. Lamport’s research contributions laid the foundations for the theory of distributed systems. He currently works in Microsoft Research where most of his time is spent developing formal semantics (with mathematical logic) for specifying and reasoning about algorithms.

Δείτε αυτό το webcast στο channel9 - Eric Meijer & Leslie Lamport. Ο κύριος είναι μαγικός, και λέει τις πιο φανταστικές ιστορίες για αλγόριθμους concurrency, distributed systems & μαθηματικά.

E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems

Αν το μέρος απο το 40:44 μέχρι το 56:00 το είχα δεί στα 20, θα είχα σπουδάσει computer science κι όχι software engineering.

quote (17:2x): "If you know any Special Relativity .. that's obvious ! So what I did is wrote a paper ... , basically translating what Einstein really discovered in 1905, into the domain of distributed computing" ...

.NET Framework

Τελικά ο Leslie Lamport rules the world ...

E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems