Aarhus University Seal / Aarhus Universitets segl

Nyheder

Denne sides indhold er kun tilgængeligt på Engelsk

27.02.2020 | CS frontpage, Featured, Public/media

Ny Eliteforsker på instituttet!

Stort tillykke til professor Anders Møller som i dag bliver hædret af Undervisnings- og forskningsministeren som en af fem nye eliteforskere. Anders Møller er den tredje datalog (alle fra instituttet!) som modtager denne flotte titel, og bliver hædret for sit arbejde inden for teoretisk datalogi med fokus på programmeringssprog og programanalyse.

24.02.2020 | COBRA

COBRA sponsering ZKProof 2020

21.02.2020 | CS frontpage, Featured, Public/media

What can you do in 1 hour and 38 minutes?

Yesterday, we opened the registration for the department's annual career day - Kdag - 2020. It is a popular event, and in just 1 hour and 38 minutes the event sold out. For those who did get a booth, we recommend to sign up for the waitlist (click on link to register).

20.02.2020 | CPV, CS frontpage, Featured, Public/media

POPL 2020 in Review

In January 2020, 600 people gathered in New Orleans for the 47'th edition of POPL. Chairman of POPL 2020, Lars Birkedal has written a blogpost about the event to give an overview of POPL 2020 from both a technical and non-technical perspective.