Leslie Lamport gewinnt den Turing-Preis
In der Mathematik kennt man ihn vor allem wegen des "La" vor dem "TeX": Leslie Lamport ist der Erfinder von "LaTeX". Mitte der 1980er Jahre veröffentlichte er das Makropaket, das Donald E. Knuths TeX erst alltagstauglich machte. Nun hat Leslie Lamport, 73 Jahre alt, den Turing-Preis der Association for Computing…