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.
The Department of Computer Science hosts an information meeting on Monday 22. April at 15:15-16 in Nygaard-295, where Anders Møller, Head of the PhD…
Logic and Semantics Talk
Our mobile phone is with us at all times. Habitually, we pick it up in the morning and carry it around on our daily routes and routines. Increasingly,…
Page 188 of 192