E2E: Erik Meijer and Leslie Lamport - Mathematical Reasoning and Distributed Systems
- Posted: Mar 09, 2010 at 12:06 PM
- 41,175 Views
- 11 Comments
Download
How do I download the videos?
- To download, right click the file type you would like and pick “Save target as…” or “Save link as…”
Why should I download videos from Channel9?
- It's an easy way to save the videos you like locally.
- You can save the videos in order to watch them offline.
- If all you want is to hear the audio, you can download the MP3!
Which version should I choose?
- If you want to view the video on your PC, Xbox or Media Center, download the High Quality WMV file (this is the highest quality version we have available).
- If you'd like a lower bitrate version, to reduce the download time or cost, then choose the Medium Quality WMV file.
- If you have a Zune, WP7, iPhone, iPad, or iPod device, choose the low or medium MP4 file.
- If you just want to hear the audio of the video, choose the MP3 file.
Right click “Save as…”
- High Quality WMV (PC, Xbox, MCE)
- MP3 (Audio only)
- MP4 (iPod, Zune HD)
- Mid Quality WMV (Lo-band, Mobile)
A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. -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.
Here, Dr.
Erik Meijer, computer scientist and programming language/library designer, sits down with Dr. Lamport to discuss several aspects of Dr. Lamport's body of work in computer science.
Dr. Lamport's
TLA, the Temporal Logic of Actions, is a logic for specifying and reasoning about concurrent and reactive systems. TLA+ is the latest incarnation of this formal specification toolset.
Comments Closed
Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation,
please create a new thread in our Forums,
or
Contact Us and let us know.
Follow the Discussion
"When you understand something, then you can find the math to express that understanding. The math doesn't provide the understanding."
That's just one awesome quote
Agreed. Leslie is full of wisdom. It was a pleasure to meet him.
C
@Charles: So, maybe PEP is related to concurrency after all. (re: http://channel9.msdn.com/forums/Coffeehouse/534390-Friday-Non-Sequitur-Why-we-dont-implode/)
This reminds me of Wesner Moise's article about specification languages.
I'd be interested in hearing more precisely what Microsoft is using TLA+2 for.
http://wesnerm.blogs.com/net_undocumented/2009/02/specification-languages.html
...And whether there is a convergence underway with all the specification languages at Microsoft (AsmL being another; Spec# being another still, etc.)
Will do. I think we'll dig into TLA specifically next time Leslie is in town.
C
Another great quote is at 48:48 (excellent time point, too): “The mathematics of computing; things like sets and functions and logic, are to computing what real numbers are to physics.”
C
He is also the author of LaTeX.
He is indeed. He and Erik didn't talk about that, however. The conversation was squarely focused on mathematical reasoning, algorithms and distributed systems...
C
That was very interesting and gives pause of thought on my software designs.
Thanks for the interview.
After listening to this carefully, weighing the thoughts and information that were provided, trying to listen carefully to detect a glimmer of proof that the interviewee knew how to apply his insights to the real world, I concluded that the guy that's going to change the way I program is the one with the short hair-cut. My fault, I'm an engineer that wears loud shirts.
Thanks for the info!
Remove this comment
Remove this thread
close