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.
Abstract:
Private function evaluation (PFE) is a variant of secure multiparty computation wherein the function (circuit) being computed is also…
Computer Science day is a way to provide information about what happens at the department’s research areas and in a tightly scheduled three hours…
Abstract: Besides studying issues central to how to make computing more efficient and powerful, computer science is also an enabling science that…
Page 183 of 192
