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.
In 2018, the department hosted its first alumni day on Thursday, April 5. 235 happy alumni returned to hear about the latest research within Big…
Mobile and wearable technology is usually perceived as personal devices. However, the technology is used in different co-located social…
Want to hear what top digital researchers and industry specialists are working on? Meet top experts at our digital innovation conference.
Page 84 of 192
