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.


Ytringer på debatten er afsenders eget ansvar - læs debatreglerne
Indlæser debat...


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?
EG A/S
Udvikling, salg, implementering og support af software og it-løsninger til ERP, CRM, BA, BI, e-handel og portaler. Infrastrukturløsninger og hardware. Fokus på brancheløsninger.

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

Kommende events
Digital HowTo: Sikkerhedstrusler

Under corona-krisen er antallet af cybertrusler steget med 33 procent. Det er særligt phishing-angreb, som oversvømmer mange virksomheder i de her dage. Corona-virussen har skabt en ny mulighed for at lokke uopmærksomme internetbrugere til at klikke på inficerede links. Nogle virksomheder oplever at op mod halvdelen e-mails, der sendes til dem, kommer fra it-kriminelle.

19. august 2020 | Læs mere


Digital HowTo: ERP – få optimal udnyttelse af dine store mængder af værdifulde data i den digitale transformation

Få indblik i, hvordan alle virksomheder kan optimere deres kritiske processer og hvordan du realiserer det uforløste potentiale gennem denne procesoptimering. Du får indsigt i forretnings-processer, digital værdiskabelse og teknologi, der har hjulpet mange virksomheder på vej med deres digitale transformation.

20. august 2020 | Læs mere


Digital HowTo: Fremtidens It service management - optimer dit setup med de nyeste teknologier

Det er vigtigere end nogensinde at have styr på kerneopgaverne i virksomhedens it-drift. Fra monitorering af systemerne til udrulning af applikationer, håndtering af service desken og alle udfordringerne med it-sikkerheden. Kom og bliv klogere på mulighederne for automatisering og optimering med ITSM og den nyeste robotteknologi.

21. august 2020 | Læs mere






Premium
En onsdag i juni bliver DSB's it-systemer ramt af et 48 timer langt nedbrud: "Min første tanke er, at vi må være ramt af et DDoS-angreb"
Få historien om, hvordan DSB fandt løsningen på det to dage lange nedbrud, som selskabet blev ramt af 24. juni klokken 14.45.
Job & Karriere
På jagt efter et it-job i Jylland? Her er 10 stillinger fra Aabenraa til Aalborg, der ledige netop nu
Vi har fundet en række spændende stillinger til dig, der jagter et it-job. Her kan du vælge og vrage mellem ledige stillinger lige fra Aabenraa til Aalborg.
White paper
Hybrid infrastruktur giver Jutlander Banks medarbejdere mere tid til kunderne
Hos Jutlander Bank sørger den nye, hybride infrastruktur fra HPE for, at bankens kunderådgivere i dag kan bruge væsentlig mere tid hos den enkelte kunde. I denne kundecase kan du få indsigt i hvordan IT-chef Kim Meling Christensen har oplevet samarbejdet med Atea og HPE – samt hvilke kundevendte fordele og muligheder for automatisering som det har givet.