Aarhus University logo
Department of Computer Science
Reading papers is part of any academic daily routine. And it sounds simple enough? Start at the beginning, finish at the end, hope that everything in…
The chart doctor is in: Bring your ailing visuals to the Chart Clinique for some advice on how to make them better! Whether you've got a paper…
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…
Page 3 of 5
