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.
Learning to Decide: from no-regret learning to strategic games
Learning to make effective decisions in dynamic and uncertain…
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
Page 14 of 192