Den 73-årige Microsoft-forsker Leslie Lamport er blevet udnævnt til vinder af 2013 A.M. Turing Award - også kendt som Turing-prisen eller slet og ret 'it-verdenens Nobelpris'.
Ud over den store ære modtager Leslie Lamport også 250.000 dollar (1,3 millioner kroner), som er delvist sponsoreret af Intel og Google.
Det gør han for sit arbejde med distribuerede computersystemer, hvor han blandt andet har udtænkt vigtige algoritmer og udviklet formel modellering og verifikationsprotokoller, der ifølge Turing-komiteen har forbedret kvaliteten af distribuerede systemer.
"Disse bidrag har resulteret i en forbedret korrekthed, ydeevne og pålidelighed til computersystemerne," lyder det blandt andet i begrundelsen fra Turing-komiteen.
Dansker blandt vinderne
Leslie Lamport kom til Microsoft i 2001 efter en karriere hos blandt andre Digital og Compaq. Han har modtaget adskillige hædersbeviser fra universiteter og it-priser som Emanuel R. Piore-prisen og John von Neumann-medaljen.
Med Turing-prisen bliver Leslie Lamport en del af en eksklusiv elite af it-folk, der har begået bemærkelsesværdige bedrifter inden for datalogien.
Blandt tidligere vindere kan tælles internettets fædre, Vinton G. Cerf og Robert E. Kahn bag TCP/IP, musens opfinder Douglas Engelbart og John Backus, der opfandt programmeringssproget FORTRAN.
Dansker blandt vinderne
Datalogiprofessor Peter Naur, der i 1966 opfandt ordet 'datalogi' som den danske pendant til det engelske 'computer science', er den eneste dansker, der har vundet Turing-prisen.
Det skete i 2005, hvorefter han blev hyldet på Københavns Universitet.
Peter Naur blev Danmarks første datalogi-professor, og han vandt Turing-prisen for sit arbejde med Backus-Naur-formen, der via simple symboler bruges til at beskrive syntaksen i de fleste programmeringsprog og dermed dannede grundlaget for senere objektorienterede sprog som Java.
Turing-prisen er opkaldt efter det britiske datalogi-ikon Alan Turing, der generelt betragtes som datalogiens grundlægger, og som er vidt berømt for at have været med til at sikre de allierede sejren i 2. Verdenskrig ved at knække tyskernes Enigma-koder.
