Aarhus University logo
Dansk
Department of Computer Science
In this talk, I use programming as a lens for exploring how generative AI is reshaping competence, learning, and education more broadly. Starting from…
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Kunstig intelligens er på rekordtid gået fra at være sci-fi til at blive en integreret del af vores hverdag. En højest nyttig teknologi der forventes…
Learn how ethical hackers get paid to secure the web, and start your own bug bounty journey! Join us and discover how you can supplement your SU by…
On Monday November 17, 2025, Lasse Letager Hansen will defend the PhD thesis High Assurance Cryptographic Software using Rust and Rocq
On Monday November 17, 2025, Pavel Manakhov will defend the PhD thesis 3D UI Placement for Interaction on the Go
Learning to Decide: from no-regret learning to strategic games
Learning to make effective decisions in dynamic and uncertain…
Page 13 of 192
