Talks

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Symposium on AI Verification 2024 (Montreal, Canada)

22. Jul 2024
An Information-Flow Perspective on Algorithmic Fairness

KeY Symposium 2023 (Bergen, Norway)

10. Aug 2023