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.
The International Association for Cryptologic Research is hosting the annual conference TCC 2025.
On Friday November 28, 2025, Jonathan Lindegaard Starup will defend the PhD thesis Safety in Types and Effects
Learn about admission requirements, application procedures, deadlines, and financial matters for Master's programmes.
Join the webinar - register at…
Learn about admission requirements, application procedures, deadlines, and financial matters for Bachelor's programmes.
Join the webinar - register…
Explore our three-year IT-programmes and how they can prepare you for a future in the sector.
Computer Science DetailsIT Product Development…
Page 11 of 192
