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.
Finding large near-cliques in massive networks is a notoriously hard problem of great importance to many applications, including anomaly detection in…
This 2-day symposium will be covering all aspects of modern cryptography to celebrate the work of Ivan Damgård on account of his 60th birthday.
On March 30-31, 2016 we celebrate our annual PhD/PostDoc retreat at Sandbjerg Gods near Sønderborg.
Abstract In this talk I will give you a whirlwind tour of my research on haptic interaction, from the basics of haptic perception to the exciting…
Page 133 of 192
