Aarhus University logo
Dansk
Department of Computer Science
On August 27, 2026, Kristen Nygaard would have turned 100 years.
On this occasion, Aarhus University will mark the day and pay tribute to Kristen…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
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.
Speaker:
Rasmus Lerchedahl Petersen, Microsoft Research Cambridge, Biological Computation Group (http://research.microsoft.com/en-us/groups/biology/)…
Recently, Boston Globe published the article "For 40 years, computer scientists looked for a solution that doesn't exist". In this talk I will talk…
Bio:
Steven Jeuris is a PhD Student at the Pervasive Interaction Technology Lab (PIT Lab) at the IT University of Copenhagen, working on Next…
A day of sharing and presenting research at AU and the Alexandra Institute
Join researchers across AU and AI interested in privacy, security and…
Page 139 of 192