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.
Short bio:
Aurore Guillevic is researcher at Inria Nancy (a French research institute in computer science) and works on the implementation aspects…
August 12. 2021 Simon Aagaard Enni will defend his PhD thesis: Deliberation and Dissemination in Machine Learning
Read more here.
August 4. 2021 Troels Rasmussen will defend his PhD thesis: Supporting Tailorability and Awareness for Remote Assistance in Large Industrial Task…
Page 62 of 192
