Publications
(2025). Verification of Autonomous Neural Car Control with KeYmaera X. In ABZ 2025.
(2024). Revisiting Differential Verification: Equivalence Verification with Confidence. In TACAS 2025.
(2024). Next Steps in LLM-Supported Java Verification. In NSE 2025.
(2024). Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. In ISOLA 2024.
Study Projects

Projects from Bachelor’s and Master’s (2015-2022).