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.
Abstract: This talk discusses the rapid progress of AI coding tools and their implications for software development and computer science education.…
Prøv hands-on begynder hacking og bliv klar til De Danske Cybermesterskaber 2026!
Er du begynder - men er nysgerrig på hacking og cybersikkerhed?
…
I forbindelse med u-days 2026 åbner vi instituttet op for kommende studerende. Kom forbi og se hvor uddannelserne Datalogi og IT-Produktudvikling…
Computational tools for fabrication have been largely designed for homogeneous materials, or materials that are uniform, predictable and…
On Friday February 20, 2026, Hannah Keller will defend the PhD thesis Distributed Differential Privacy Using Cryptographic Techniques
Page 7 of 192