I am a postdoctoral scholar at the University of Washington Programming Language and Software Engineering (PLSE) group, advised by Zachary Tatlock. At PLSE, I actively work on language design, program analysis, and compiler optimization, among other PL and system research directions. I’m also leading the PLSE PL Reading Group (PLRG) this year (2024-2025).

I earned my Ph.D. degree in May 2024 from Cornell University, co-advised by Greg Morrisett and Robbert van Renesse. My dissertation is titled “Formal Modeling Languages for High-assurance Domain-specific Systems.” During my seven years of graduate school, I worked on language-based formal verification of distributed systems, concurrent programs, and parsers, secure smart contract languages utilizing information flow control type systems, and new protocols for distributed systems.

As a competitive programming veteran who won a silver and a gold at the 2014 and 2016 ICPC World Finals, I was the Cornell ICPC team coach from 2018 to 2024. We won the GNYR and advanced to the WF through NAC in both 2019 and 2023. I also volunteered as a problem-setter and judge in the Cornell High School Programming Contest. My Codeforces ID is TankEngineer.

Besides doing research and competitive programming, I enjoy good humor, cooking various food, and my daily dose of existential doubts.