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.
ABOUT THE EVENT How do you transform a research-based spinout into a scalable business with a commercial edge? And why might bringing a commercial…
On Tuesday February 25, 2025, Chiwoong Hwang will defend the PhD thesis Haptic Interaction for Industrial Training in Virtual Reality - Enhancing the…
Er du interesseret i at være arrangør for IT-Camp for piger 2025? Måske er du ikke sikker på hvad det indebærer, men frygt ej, på infomødet kan du…
Salling Group invites you as an IT student at Aarhus University to breakfast!
While you enjoy the most important meal of the day, representatives…
On Tuesday February 18 2025, Nikolas Melissaris will defend the PhD thesis Better, Faster, Stronger - Improving Security, Efficiency and Primitives…
Page 23 of 192
