[SystemSafety] Leslie Lamport

From: Peter Bernard Ladkin < >
Date: Wed, 19 Mar 2014 07:05:54 +0100


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



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Wed Mar 19 2014 - 07:06:00 CET

This archive was generated by hypermail 2.3.0 : Mon Apr 22 2019 - 00:17:06 CEST