Aarhus University logo
Dansk
Department of Computer Science
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
It's a pleasure to announce that the New Carlsberg Foundation has generously deposited three of Erik A. Frandsen’s light sculptures in the Nygaard…
Software verification is the application of rigorous mathematical techniques to prove that computer programs do what they are supposed to. The…
Page 144 of 190
