Aarhus University logo
Dansk
Department of Computer Science
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
In this talk, I use programming as a lens for exploring how generative AI is reshaping competence, learning, and education more broadly. Starting from…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
On August 27, 2026, Kristen Nygaard would have turned 100 years.
On this occasion, Aarhus University will mark the day and pay tribute to Kristen…
Page 1 of 193
