Talks

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Laboratory for Foundations of Computer Science Seminar (Edinburgh, UK)

29. Oct 2024
Heterogeneous Dynamic Logic

KeY Symposium 2024 (Bad Herrenalb, Germany)

1. Aug 2024
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