see: cv.pdf
education
New York University Shanghai
2022 - 2026
B.Sc in Computer Science, Minor in Mathematics
publications
under review
-
2026
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, and Joseph Tassarotti -
2026
Completeness of Iris-Based Program Logics
Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti
projects
-
Summer 2024
Axiomatic Foundations of Convex Algebra
adviced by Paul-André Mellièsdescription
In this project, we tried to develop a categorical semantics of linear logic for convex algebras. For the results, we constructed a symmetric monoidal category for convex algebras and formalized it with the Rocq proof assistant.recipient of Dean's Undergraduate Research Fund 2024
-
Fall 2024 - present
Verifying Probabilistic Programs with Separation Logic
adviced by Joseph Tassarottidescription
In this project, I expanded upon the existing probabilistic separation logics (Eris, Approxis, etc.), proving partial completeness of these logics on pure programs. I also helped developing some ongoing projects of this line of work. I did quite a lot of real analysis in Rocq.recipient of Dean's Undergraduate Research Fund 2025
teaching
- Course Assistant: CSCI-SHU 210 Data Structures (Fall '23), CSCI-SHU 213 Dabases (Spring '24)
honors & awards
- NYU Shanghai Global Elite Scholarship
- Dean's List for Academic Year, 2022, 2023 & 2024
- Gold Medal, 2024 Shanghai Collegiate Programming Contest
- Second Place, ICPC Greater New York Regional 2024
- Rank 28, ICPC North America Championship 2025
- First Place, POPL 2026 Student Research Competition