I am a PhD student in Computer Science at the University of Fribourg, working in the Foundations of Dependable Systems research group. My research focuses on automata theory, formal methods, and the formal verification of mathematical results using Isabelle/HOL.

I hold a Master's degree in Computer Science from the Universities of Fribourg, Bern, and Neuchâtel. My Master's thesis focused on the formalization of finite automata theory in Isabelle/HOL.

Alongside my academic work, I have several years of experience teaching mathematics and computer science at upper-secondary school level.

Research Interests

• Automata Theory

• Formal Verification

• Interactive Theorem Proving

• Isabelle/HOL

GitHub: github.com/BeTha38