Software-forskere får datalogiens Nobel-pris

Turing-prisen er blevet uddelt til mændene bag automatisk verifikation af software- og hardware-design.

Den mest prestigefyldte pris indenfor datalogi, Turing Award'en, er blevet tildelt tre dataloger, der har arbejdet på at sikre bedre software- og hardwaredesign.

De tre prismodtagere, Edmund M. Clarke, E. Allen Emerson og Joseph Sifakis, tildeles prisen for deres arbejde indenfor såkaldt Model Checking.

I model-checking defineres specifikationerne for et hardware- eller software-system i et formelt logisk sprog, hvorefter specifikationen kan verificeres for at se, om designet holder vand.

Turing-prisen uddeles hvert år til en eller flere personer, der har ydet væsentlige bidrag med betydelig teknisk betydning for it.

De tre prisdeltagere deler prisen på 250.000 dollar, der sponseres af Intel og Google.

For to år siden gik Turing-prisen til danske Peter Naur, hvilket du kan læse mere om her.




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?
TIETOEVRY DENMARK A/S
Udvikler, sælger og implementerer software til ESDH, CRM og portaler. Fokus på detailhandel, bygge- og anlæg, energi og finans.

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

Kommende events
Compliance og strategisk it-sikkerhed efter DORA

Finansielle koncerner har i snit 85 sikkerhedsløsninger i drift – men er i snit op til 100 dage om at opdage et igangværende cyberangreb. Ydermere viser øvelser, at det typisk tager 4-6 uger at rense og genetablere sikker drift af centrale systemer efter et stort angreb. Fokus for dagen vil derfor være på henholdsvis governance samt om, hvordan du som it-leder i den finansielle sektor skal kunne håndtere fremtidens cybertrusler og arbejde effektivt med sikkerhed på et strategisk niveau.

04. april 2024 | Læs mere


EA Excellence Day

Hvad er det, der gør it-arkitektens rolle så vigtig? Og hvad er det for udfordringer inden for områder som cloud, netværk og datacentre, som fylder hos nogle af landets bedste it-arkitekter lige nu? Det kan du her høre mere om og blive inspireret af på denne konference, hvor du også får lejlighed til at drøfte dette med ligesindede.

16. april 2024 | Læs mere


IAM - din genvej til højere sikkerhed uden uautoriseret adgang og datatab

På denne dag udforsker vi de nyeste strategier, værktøjer og bedste praksis inden for IAM, med det formål at styrke virksomheders sikkerhedsposition og effektiviteten af deres adgangsstyringssystemer og dermed minimere risikoen for uautoriseret adgang og datatab. Og hvordan man kommer fra at overbevise ledelsen til rent faktisk at implementere IAM?

18. april 2024 | Læs mere