Paul Jiang

Ph.D. Student in Computer Science, Princeton University

I am a Ph.D. student in Computer Science at Princeton University, advised by Aarti Gupta. I received my B.S. in Computer Science with a minor in Mathematics from Purdue University.

My research interests lie in numerical analysis, abstract interpretation, SAT/SMT, and auto-formalization.

Portrait of Paul Jiang

News

Feb 2026
Accepted into the Computer Science Ph.D. program at Princeton University.
Nov 2025
Awarded 2nd place in the ACM Student Research Competition at SC ’25.

Publications

DiVerT: Differential Verification of Transformers
Paul Jiang, Yuantian Ding, Saurabh Bagchi, Đorđe Žikelić, and Jingbo Wang
Under review, 2026
TC-EFT: Characterizing and Correcting Tensor Core Arithmetic
Paul Jiang, Benjamin Valpey, and Ganesh Gopalakrishnan
Under review, 2026

Presentations

A Formal Characterization of Non-Monotonicity in Tensor Cores
Paul Jiang and Vivian Zheng
The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC ’25)
ACM Student Research Competition — 2nd Place (Poster)
Poster
Characterizing and Correcting Non-Standard Arithmetic in GPUs for Scientific Computing
Paul Jiang
2nd Workshop on Correctness and Reproducibility for Earth System Software, 2025
Formal Approaches to Characterize Emerging Arithmetic Realizations
Paul Jiang and Iana Lin
The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC ’24)
ACM Student Research Competition (Poster)
Poster
Evaluating the Impact of Noisy Point Clouds on Wireless Gesture Recognition Systems
Paul Jiang, Ellie Fassman, Amit Singha, Yimin Chen, and Tao Li
The Twenty-Fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing (MobiHoc ’23), REUNS Workshop

Education

2026 – Present
Princeton University
Ph.D. in Computer Science
2022 – 2026
Purdue University · John Martinson Honors College
B.S. in Computer Science, Minor in Mathematics

Experience

Aug 2024 – May 2025
NSF I-GUIDE
Purdue Datamine Fellowship · West Lafayette, IN
May 2024 – Aug 2024
University of Utah
NSF REU · Salt Lake City, UT
May 2023 – Aug 2023
Purdue University
NSF REU · Indianapolis, IN

Community

2026
Student Volunteer, Computer Aided Verification (CAV ’26)

Awards

2026
FLoC MW Scholarship (FLoC ’26)
2026
TE Connectivity AI Cup — 2nd Place (TE AI Cup ’26)
2025
ACM Student Research Competition — 2nd Place (SC ’25)
2025
PLMW Scholarship (PLDI ’25)
2025
VSS Scholarship (ETAPS ’25)