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 seminar
The focus of this event is on digitalization research, its challenges and its implications for society. Discussion will address the…
On Friday February 14 2025, Rasmus Skovhus Lunding will defend the PhD thesis Augmented Reality assisted Human-Robot Collaboration: A novel approach…
On Friday February 7 2025, Zhile Jiang will defend the PhD thesis: Randomness in structures and computation
On Friday February 7 2025, Hünkar Can Tunç will defend the PhD thesis: Efficient Data Structures and Algorithms for Dynamic Analysis of Concurrent…
Join us on campus for this unique opportunity to visit Aarhus University and hear the programme you are interested in! Talk to programme directors,…
Page 24 of 192
