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.
On Thursday November 27, 2025, Mikael Møller Høgsgaard will defend the PhD thesis Guarantees and Insights in Ensemble Learning
Are you writing your bachelor project in the spring? Then remember to sign up (check your AU email) for the info meeting.
DATE: November 27 - TIME:…
Whether your interest is in complex algorithms, AI, machine learning, cyber security, logic and semantics, HCI, or something completely different…
On Tuesday November 25, 2025, Sebastian Kolby will defend the PhD thesis Studies on Scalable Security
On Thursday November 20, 2025, Maxime Legoupil will defend the PhD thesis Formal Reasoning about WebAssembly and Extensions
Page 12 of 192
