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.
Abstract:
"A direct sum theorem for two parties and a function f states that the communication cost of solving k copiesof f simultaneously with…
Abstract Randomized algorithms are often enjoyed for their simplicity, but the hash functions used to yield the desired theoretical…
Participatory approaches to designing technology have become widespread in a variety of forms and for a variety of reasons. Participatory design (PD)…
Demographic changes together with the development of novel Internet services, tablets and other processing units/interfaces and sensor technologies…
Page 185 of 192