I am a master’s student in the Logic Track of the Mathematical Sciences program at Utrecht University. Currently, I am writing my master’s thesis under the supervision of Yannick Forster and Dominik Kirst at Inria, Paris on formalizing realizability semantics in the proof assistant Rocq in a synthetic computability setting.