About
I am a Computer Science PhD student at Princeton University, advised by Prof. Zak Kincaid and Prof. Wyatt Lloyd. My research interests are broadly in Formal Methods and Programming Languages with a focus on designing automated reasoning tools for systems verification..
Before my PhD, I completed my B.A. in Computer Science at NYU Courant Institute of Mathematical Sciences, where I worked with Prof. Michael Walfish and Prof. Aurojit Panda on computational verification. I also worked closely with Prof. Patrick Cousot on abstract interpretation and program logics.
Nowadays, I am mainly into rigorous reasoning with mathematical frameworks, but I'm also open to being persuaded to work on "in-"formal methods if I find them fun!
Feel free to reach out to discuss research or just to chat "cw0595" + "@princeton.edu"
Research Interests
- Logics, Program analysis, and Abstract interpretation
- Programming languages design and verification
- Distributed systems, fault tolerance, and consistency
- Automata, Computability, and Computational Complexity theory
Publications
-
Calculational Design of Hyperlogics by Abstract Interpretation.
Patrick Cousot, Jeffery Wang
POPL '25 . [paper] -
Efficient Auditing of Event-driven Web Applications.
Ioanna Tzialla, Jeffery Wang, Jingyi Zhu, Aurojit Panda, Michael Walfish
EuroSys '24 . [paper] [code]
Misc
- I love Boba and Hotpot. My favorite Boba place at Princeton is Fresh Ó Tea.
- I used to play with reverse engineering on Android Ransomware, when I managed to decompile APKs and break the obfuscation.