see: cv.pdf

education

B.Sc in Computer Science with minor in Mathematics, Summa Cum Laude

publications

• Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

  LICS '26
  Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, and Joseph Tassarotti

preprints & manuscripts

• Completeness of Iris-Based Program Logics

  2026
  Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti

  conditionally accepted to ICFP '26

• Semantic Completeness of Higher-Order Probabilistic Separation Logics

  2026
  Puming Liu

  extended abstract for ACM SRC '26

projects

• Axiomatic Foundations of Convex Algebra

  Summer 2024
  advised by Paul-André Melliès
  description

  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

• Verifying Probabilistic Programs with Separation Logic

  Fall 2024 - present
  advised by Joseph Tassarotti
  description

  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