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 6, 2025, Sergei Stepanenko will defend the PhD thesis Formal Reasoning for Modern Programming Languages
Want to study a semester abroad?
Danmarks største AI konference i Musikhuset Aarhus.
On Friday October 31, 2025, Christoph Albert Johns will defend the PhD thesis Model-Based User Interface Optimization Under Contextual Uncertainty
On Friday October 31, 2025, Mathias Nørhede Lystbæk will defend the PhD thesis Eyes Helping Hands: Gaze-Assisted Hand Interaction in Extended Reality
Page 14 of 192
