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.
Currently, I'm particularly interested in testing and verification of distributed systems against consistency specifications. Feel free to send me an email if you would like to chat !!!!
Feel free to reach out to discuss research or just to chat:) I can be reached by email: "${firstname}.${lastname}" + "@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. I managed to decompile several APKs and break the obfuscation when I went by my nickname "幻听".