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.
China Theory Week 2013 is hosted by the Center for Theory of Interactive Computation at the Department of Computer Science, Aarhus University,…
The skyline query is used for multi-criteria searching, and returns the most interesting points of a potentially very large data set with respect to…
Examiners:External examiner: Kresten Krab Thorup, CTO, TriforkInternal examiner: Gerth Stølting Brodal, Department of Computer Science, Aarhus…
The Motivational Environments research group at Arizona State University advances research that incorporates wearable and ambient sensors, responsive…
Page 182 of 192
