Artikel top billede

Leslie Lamport, vinder af Turing-prisen 2013. Foto: Skærmdump fra Youtube.

Derfor kommer verdens skarpeste it-mand fra Microsoft

For sit arbejde med distribueret computing har en 73-årig Microsoft-medarbejder vundet den fornemste pris inden for it-verdenen. Læs begrundelsen for hæderen her.

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.




Brancheguiden
Brancheguide logo
Opdateres dagligt:
Den største og
mest komplette
oversigt
over danske
it-virksomheder
Hvad kan de? Hvor store er de? Hvor bor de?
Targit A/S
Udvikling og salg af software til business intelligence.

Nøgletal og mere info om virksomheden
Skal din virksomhed med i Guiden? Klik her

Kommende events
NIS2 og Compliance – i en verden med stadig skrappere regulatoriske krav

På denne dag får du indsigt i, hvilke metodikker og løsninger, der får enderne til at mødes i en verden med stadig skrappere regulatoriske krav til sikkerhed – hvilket f.eks. det kommende NIS2-direktiv er udtryk for – samt kunders og myndigheders forventninger til din compliance.

04. juni 2024 | Læs mere


Digitaliseringsledelse 2024 - Sådan indtager du rollen som udviklingsdirigent

Vi dykker ligeledes med i, hvordan du i praksis skaber en hurtig og effektiv udviklingsorganisation trods legacy, siloer og digital gæld. Samt hvordan du bygger bro mellem teknologi, data, kunder, effektive processer og nye ideer. Vel at mærke samtidig med, at både forretningen og andre interne stakeholders har en liste over forventninger, der vokser hurtigere end dit budget.

04. juni 2024 | Læs mere


Årets CIO 2024

Vi skal finde Årets CIO 2024 og den kvinde eller mand, som i et helt år kan bryste sig af at være landets bedste CIO.

06. juni 2024 | Læs mere