I am a PhD student in Computer Science at the University of Fribourg, working in the Foundations of Dependable Systems research group. My research lies in applied formal methods, focusing on the formal verification of assembly programs.

In addition to my research, I serve as a teaching assistant at the University of Fribourg and teach computer science subjects in continuing education programs at the Lucerne University of Applied Sciences and Arts (Hochschule Luzern).