Aarhus Universitets logo
English
Join us in celebrating 25 years of CAVI on June 2nd 2026
How should a principal design incentives when the effort of agents is costly and unobservable? Contract theory studies this question through…
Title
tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
The graduation ceremonies are the Department's opportunity to congratulate and celebrate our student who have graduated.
Abstract:
I am a technologist, working at the intersection of security, technology and people, and keen to push the boundaries. I'll give an overview…
Title: Formalizing Constructive Cryptography using CryptHOL
Abstract: Computer-aided cryptography increases the rigour of cryptographic proofs by…
Quantum Programming - This mini course is about how to program quantum computers.
Why is quantum computing more powerful than classical computing? Th…
Computing has become embodied in the world in many different forms and shapes, and my long-term interest is in sensory interfaces and…
Side 71 af 106
