Aarhus Universitets logo
English
Institut for Datalogi
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.
J70 Revyen inviterer jer alle indenfor i Stakladen til et gensyn med noget af det bedste materiale fra revyerne gennem de sidste ti år!
On Friday October 3, 2025, Jens Kristian Refsgaard Schou will defend the PhD thesis Algorithmic innovation through Persistence, Topology and Geometry
Are you curious about Cyber Security?
Aarhus University is putting the spotlight on student jobs for international master’s degree students! Are you ready to meet a variety of exciting…
Join the movie night - only for new students.
On Tuesday September 30, 2025, Casper Moldrup Rysgaard will defend the PhD thesis A Journey through Persistence, External Memory, Trees, and other…
Side 15 af 108
