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.
Department of Computer Science invites you to the exhibition '𝗜𝗧 𝗖𝗵𝗿𝗶𝘀𝘁𝗺𝗮𝘀 𝗣𝗮𝗥𝗮𝗗𝗲 𝟮𝟬𝟮𝟮: 𝗣𝗿𝗼𝘁𝗼𝘁𝘆𝗽𝗲𝘀 𝗔𝗻𝗱 𝗥𝗮𝗽𝗶𝗱 𝗗𝗲𝗺𝗼𝘀'.
The exhibition will contain…
Blockchain forbindes ofte med kryptovaluta og den finansielle industri, men blockchain-teknologien har en lang række andre anvendelsesmuligheder. Det…
Title: Eye-Hand Symbiosis for Extended Reality Abstract: While mouse and touch controls for the flat world of 2D displays have matured over time,…
I din smartphone i lommen og din bærbare computer ligger resultaterne af mange års datalogisk forskning. Men hvordan forsker man i datalogi? Hør om…
Page 43 of 192
