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.
February 23. 2021 Anke an Oosterhout will defend her PhD thesis: A Design Perspective on Force Feedback.
Read more here.
January 29. 2021 Benjamin Barslev Nielsen will defend his PhD thesis: Static Analysis for Node.js
The ALICE steering group meets 4 times a year and the meetings are open for everyone who is interested in ALICE and what is going on in the network.
November 16. 2020 Anders Peter Kragh Dalskov will defend his PhD thesis: Cats or Croissants? Techniques for Secure Inference
Read more here
Page 66 of 192
