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 curious about what it takes to succeed in Uber’s intern and Grad interviews?
We’re excited to invite students in technical fields across…
Are you ready to make a compelling case to potential employers? AU Career for international students are hosting this session, whichs aims at learning…
Free coffee and a chat about job opportunities!
Meet Tech Hub Aarhus, Seges Innovation, Jyskebank, Grundfos, imc and Systematic for an informal chat.
Are you ready to make your mark in the professional world? AU Career for International students are hosting this session where you will learn how to…
The talk will cover a broad range of the quantum algorithm and quantum software work they do at the Centre for Quantum Mathematics at…
Page 17 of 192
