[SystemSafety] Leslie Lamport

[Peter Bernard Ladkin]

It has just been announced that Leslie has won the Turing Award. Well deserved - many of us wondered
when it was coming.

http://channel9.msdn.com/Series/Microsoft-Research-Luminaries/Leslie-Lamport-Selected-as-2013-ACM-A-M-Turing-Award-Winner

The Turing Awards have a long track record in reliability methods in distributed computing and
formal verification. People obviously think, over time, that it is an area in which many unusually
significant advances have been made. It may also mean it is one of the hardest areas. This is lent
credence by the number of students, software engineers and programmers who shy away from it still.

Incidentally, this means that the old DEC SRC in Palo Alto has more Turing Award winners than any
single country except the US, UK (6), Israel (4) and Norway (3).

PBL

Prof. Peter Bernard Ladkin, Faculty of Technology, University of Bielefeld, 33594 Bielefeld, Germany
Tel+msg +49 (0)521 880 7319  www.rvs.uni-bielefeld.de