Zeguan Wu

Short Bio

Zeguan Wu is a NASA Postdoc Fellow in the Department of Computer Science at the University of Pittsburgh. At Pitt, he works with Juan José Mendoza Arenas, Peyman Givi, and Junyu Liu on quantum computing algorithms for differential equations and fluid dynamics.

His research focuses on quantum algorithms for linear algebra, optimization, and differential equations; AI-assisted mathematical discovery and formal verification; and agentic workflows for quantum algorithm design and validation. A current direction couples frontier language models with Lean 4 so that formal verification can guide model-generated derivations and catch incorrect mathematical reasoning during quantum algorithm discovery.

Before joining the University of Pittsburgh, he obtained his Ph.D. in Industrial and Systems Engineering from Lehigh University under the supervision of Tamás Terlaky and Xiu Yang. He also held research appointments at Los Alamos National Laboratory and Pacific Northwest National Laboratory.

Research Interests

• Quantum computing and mathematical optimization

• AI-assisted mathematical discovery and formal verification

• Agentic workflows for quantum algorithm design and validation

Research Appointments

• University of Pittsburgh, NASA Postdoc Fellow, 2025–Present

• Pacific Northwest National Laboratory, Quantum Computing Internship, 2025

• Los Alamos National Laboratory, Graduate Research Assistant, 2023–2025

Education

• Ph.D., Industrial and Systems Engineering, Lehigh University, Bethlehem, PA, USA, 2025

• M.Sc., Operations Research, Columbia University, New York, NY, USA, 2019

• B.Sc., Material Physics, Nanjing University, Nanjing, China, 2018

Awards

• Los Alamos National Laboratory Quantum Computing Summer School Fellowship, 2023

• Rossin Professional Development Program, 2023

Online Profiles

Google Scholar