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.
Are you coming to Aarhus in a few months, but still have tons of practical questions or concerns like what to bring, how to make friends, what are…
Title: Techniques and Tools for Supporting Maintenance of Node.js Programs
During his PhD studies, Martin Toldam Torp has researched many of the…
From the Tactical Edge to Winning the Battle in the Cloud
Sagie Benaim on "Semantic Manipulation of Visual Content"
Abstract:
This talk is based on my bachelor thesis Limitations of incompressible encodings. I introduce you to the notion of what incompressible…
Page 59 of 192
