Almost all my presentations. Might be very dated
| From Transformers to Weighted Automata: Towards the Verification of Large Language Models | November 2025 | Datamod 2025 accepted paper |
| Can Inductive Invariants be used to enhance efficiency of Bounded Model Checking (BMC) | May 2025 | Masters Thesis |
| Safe Reinforcement Learning Via Shielding | March 2025 | Course Presentation |
| Finding Equilibria for two player games | December 2024 | Course Presentation |
| Complementing Semi Deterministic Büchi Automata | April 2024 | Course Presentation |
| Alternating Finite Automata on Omega Words | February 2024 | Course Presentation |
| Stability Analysis of a SIR Model | May 2022 | Course Presentation |
| On choice of axiomatic systems | March 2022 | Course Presentation |
| How reliable is published research | April 2020 | Course Presentation |