Talks

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
An Information-Flow Perspective on Algorithmic Fairness

KeY Symposium 2023 (Bergen, Norway)

10. Aug 2023