Talks

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

FMCAD 2025 (SRI International, Menlo Park, USA)

10. Oct 2025
Dynamic Logica à la Locale

KeY Symposium 2025 (Manigod, France)

6. Aug 2025
Provable Guarantees for Neural Networks

MeelGroup (Online)

16. Jul 2025
Verification of Autonomous Neural Car Control with KeYmaera X

ABZ (Düsseldorf, Germany)

12. Jun 2025
Revisiting Differential Verification: Equivalence Verification with Confidence

TACAS (Hamilton, Canada)

7. May 2025
Next Steps in LLM-Supported Java Verification

Workshop on Neuro-Symbolic Software Engineering (Ottawa, Canada)

3. May 2025
Towards LLM-support for Deductive Verification of Java Programs

Workshop: Theorem Proving and Machine Learning in the age of LLMs (Edinburgh, UK)

7. Apr 2025
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