Aarhus University logo
Department of Computer Science
QUBITS Seminar where Jens Palsberg (UCLA) will present a scalable approach to testing quantum error correction, combining stratified fault injection…
Algorithmic Structure in Weak Memory and RDMA Verification
Weak memory models invalidate many classical assumptions underlying program verification,…
Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…
In this talk, I’ll share my story of how I went from being Lars’ PhD student, doing theoretical computer science, to working as a software engineer in…
Abstract:Secure multi-party computation (MPC) enables parties to compute a function over private inputs while maintaining confidentiality. Although…
The last few years have seen several breakthroughs in the semantic foundations of probabilistic and statistical modelling. In this tutorial, we will…
Page 3 of 5
