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.
Title:Topics in Computational Social Choice: Voting, Stable Matchings, and Fair Division
Abstract: Computational social choice is a field at the…
April 20. 2021 Mirzel Avdic will defend his PhD thesis: Physical Actuation as an Alternative Approach to the Intelligibility of Smart Speakers.
Read…
Title:Formal reasoning about programs and programming languages
Abstract:It is well known that it is important to ensure that programs, especially…
Page 64 of 192
