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.
This summer school will provide an in-depth introduction to some of the important topics in data structures. The topics range from graph data…
Post-digital Books and Disruptive Literary Machines - E-lit experiments in post-print literary culture
Informing Participatory Design With Instrumental Interaction
Evaluating gains for participants in Participatory Design Projecs: PD beyond products and services
Generative Walkthroughs: Participatory Redesign
Page 179 of 192