I am a fourth-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 lies broadly in automated software testing and program analysis, with an emphasis on improving the correctness and security of software transformation systems.
I develop automated techniques for validating cross-language program translations using fuzzing and symbolic execution.
My work has examined real-world transcompilers and uncovered more than
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).