Microsoft Distinguished Research Lecture - Leslie Lamport

Thinking for Programmers: Rising Above the Code

Architects draw detailed blueprints before a brick is laid or a nail is hammered. Programmers and software engineers seldom do. A blueprint for software is called a specification. The need for extremely rigorous specifications before coding complex or critical systems should be obvious - especially for concurrent and distributed systems. This talk explains why some sort of specification should be written for any software.


Registration for this lecture is now closed as attendee numbers have reached maximum capacity.

Tuesday 13 May, 5.30-6.30pm

Microsoft Research
21 Station Road
Cambridge CB1 2FB