I am a third-year PhD student in Computer Science at
The University of Utah
and a Graduate Research Assistant in the
FuTURES³ Lab,
advised by
Dr. Stefan Nagy.
My research focus is automated validation of program translation to ensure correctness and security of transformed software.
My work has so far studied the practical challenges faced by current transcompilation tools when translating code across languages
and has led to the discovery of over
80 developer-confirmed bugs
in widely used transcompilers.
I occasionally write blog posts and CTF write-ups on systems and security topics.
I also contribute to open-source software projects, including C2Rust, Node.js,
and LLVM (selected activities).