I am a PhD student supervised by Robbert Krebbers working on the COCONUT project at the Department of Software Science, Radboud University Nijmegen. My research involves designing new program logics for the Iris Framework. I am generally interested in studying the semantics of programming language, type systems, foundations of mathematics and logic, and like to formalize my work using a proof assistant.