Paul Jiang

Incoming PhD @ Princeton CS

Floating point, formal methods, automated decision procedures for logics.

Paul Jiang
LinkedIn Curriculum Vitae

News

Feb 2026

Accepted into Princeton University's Computer Science Ph.D. program.

Nov 2025

Awarded 2nd Place at ACM Student Research Competition SC '25 in St. Louis.

Research

Characterizing and Correcting Tensor Core Arithmetic
Paul Jiang, B. Valpey, and G. Gopalakrishnan
Under review at PLDI '26
A Formal Characterization of Non-Monotonicity in Tensor Cores
Paul Jiang and V. Zheng
Poster at SC '25 (ACM Student Research Competition — 2nd Place)
PDF
Formal Approaches to Characterize Emerging Arithmetic Realizations
Paul Jiang and I. Lin
Poster at SC '24
PDF

Experience

ML@Purdue
Aug 2025 – Present
Project Manager
Purdue University
Dec 2024 – Present
Research Assistant
University of Utah
May 2025 – Aug 2025
Research Assistant
NSF I-GUIDE
Aug 2024 – May 2025
Geospatial Data Science Research Intern
NSF REU — University of Utah
May 2024 – Aug 2024
HPC Research Intern
NSF REU — Purdue University
May 2023 – Aug 2023
ML/AI Research Intern