Aarhus Universitets logo
English
Institut for Datalogi
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.
J70 Revyen inviterer jer alle indenfor i Stakladen til et gensyn med noget af det bedste materiale fra revyerne gennem de sidste ti år!
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…
Side 78 af 108
