Wednesday 19th November, 2014
5:00pm to 6:00pm
Architects draw detailed plans before construction begins. Software engineers don't. Can this be why buildings seldom collapse and programs often crash?
A blueprint for software is called a specification. TLA+ specifications have been described as exhaustively testable pseudo-code. High-level TLA+ specifications can catch design errors that are now found only by examining the rubble after a system has collapsed.
2013 Turing Award winner & Principle Researcher at Microsoft Research
Leslie Lamport’s is a pioneering computer sciencist best known for his seminal work in distributed systems and concurrent algorithms. His ideas can be found at the core of everything from multi-processor technology such as very-large-scale-integration (VLSI) semiconductors through to multi-computer networks such as the Internet.
Leslie has authored or co-authored nearly 150 publications on concurrent and distributed computing and their applications. One of his most notable papers, “Time, Clocks, and the Ordering of Events in a Distributed System,” ranks as one of the most important and influential papers in computer science.
He is a past recipient of the IEEE Emanuel R. Piore Award, the Edsger W. Dijkstra Prize in Distributed Computing and the influential paper award at the Principles of Distributed Computing Conference. In 2013 he was the recipient of the Turing Award.
Dr. Lamport holds a bachelor’s degree from the Massachusetts Institute of Technology, Cambridge, as well as a masters and doctorate from Brandeis University, Waltham, Massachusetts. Since 2001 he has been Principle Researcher at the Microsoft Research Silicon Valley Center.
Sign in to add slides, notes or videos to this session