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 talk reports on a PD project, ePolicyInPractice, situated in the Bangladeshi public sector. The main organisational context is a public…
Target group: This talk is especially interesting for anyone interested in problems related to the management of huge spatial data and/or GPGPU…
Page 189 of 192