Der Mathematiker Leslie Lamport wird mit dem Turing-Award 2013 ausgezeichnet. Der inzwischen für Microsoft tätige Wissenschaftler erfand nicht nur das Textsatzsystem Latex, sondern erforschte auch viele Grundlagen für Vernetzung von Rechnern und die Kryptographie. (Technologie, Silicon Valley)
