I am a PhD student at Umeå universitet. My research interests lie at the intersection between formal methods, verification and software engineering, particularly in applying formal methods to ensure provable reliability guarantees to AI-enabled software systems. My PhD is in collaboration with Sweden’s national initiative project Wallenberg AI, Autonomous Systems and Software Program (WASP) and Knut and Alice Wallenberg Foundation (KAW). Programming: C++, Python, OCaml, Rust Verification Tools: Lean and Coq (proof assistants), TLA+ model checker, Frama-C, Dafny Frameworks: PyTorch, TensorFlow, OpenAI Gym