I am currently a Master student at the Formal Verification Group. My research areas include Formal Methods, Program Verification, Programming Theory/Languages, and Theorem Proving. I also have a strong interest in compilers and mathematical logic.