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.
Self-quantifying and self-tracking devices are becoming mainstream. Examples include FitBit, Wii games and an assortment of mobile apps (e.g.…
Speaker: Claus Brabrand
Host: Lars Birkedal
Abstract:A software product line (SPL) encodes a potentially large variety of software products as…
Increasingly, we use mobile applications and services in our daily life activities, to support our needs for information, communication or…
Abstract:
One of the main tools to construct secure two-party computation protocols are Yao garbled circuits. Using the cut-and-choose technique,…
arget group: This talk will be presented at a technical level that is accessible to anyone with an interest in data structures.
Page 184 of 192