Aarhus University logo
Dansk
Department of Computer Science
On August 27, 2026, Kristen Nygaard would have turned 100 years.
On this occasion, Aarhus University will mark the day and pay tribute to Kristen…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
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:
Growing food in urban environments is a form of urban agriculture, practised individually and in groups. In a world with sophisticated…
Abstravct:
Game theory is a research topic connecting together researchers from many different fields – mathematics, economy, theoretical computer…
Erik Meineche Schmidt turns 70 and retires as of October 1 2015 from his long-time employment at Aarhus University. On that occation the Deparment of…
When it comes to the issue of participation in the fields of labour and culture, it often becomes simplified in the following equation: participation…
PRESENTER
Shaowen Bardzell
Associate Professor of Informatics at Indiana University
Visiting Associate Professor of Computer Science at Aarhus…
Page 141 of 192
