About Me

I am a PhD student in the Systems Research Group at the Technical University of Munich, supervised by Prof. Pramod Bhatotia. I am interested in compilers, security, formal methods, programming languages, and binary translation.

I graduated at TUM with a Master’s degree in 2024, after completing my Bachelor’s in 2022.

Research interests

Compilers · Security · Formal methods · Programming languages · Binary translation

I supervise bachelor’s and master’s theses and guided research projects. For potential projects, see open thesis topics, or get in touch by email.

For signed email or commits, see my GPG key.