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.
Secret sharing schemes are at the heart of cryptography. They can be modelled as a collection of distributions that are locally indistinguishable but…
Abstract: Software controls every device, system, and infrastructure serving our society. The rapid growth of complexity and high demand for human…
Abstract: Secure multi-party computation (MPC) allows a set of parties to jointly compute a function on their private inputs, whilst leaking no…
About the speaker: Carsten Baum is a Postdoctoral Researcher at Bar Ilan University, Israel, under the supervision of Yehuda Lindell. Before joining…
A /triangle/, in the context of undirected graphs or social networks, is a set of 3 vertices that are all connected to each other. A /triad/ is the…
Page 85 of 192
