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.
Are you a bachelor’s- or master’s student with data science as a key component of your study programme? Would you like to know more about pursuing a…
On Friday, August 9 2024, Philipp Stassen will defend the PhD thesis: Programming language semantics in modal type theories
On July 5th the fifth NordiCrypt meetup will be held at Aarhus University hosted by the Cryptogrpahy and Security Research Group at department of…
The graduation ceremony is the Department's opportunity to congratulate and celebrate those of you, who have graduated from the Department of Computer…
Page 29 of 192
