Advising & Mentoring
Graduate Students
- Daniel Zhou, PhD Thesis on combinatorics and formalization, Duke U, expected 2029.
- Chongyao Chen, PhD Thesis: Hodge Theory of Calabi-Yau varieties, Duke U 2025.
- Panchali Nag, PhD Thesis: Differential Geometry Tools for Data Analysis, Duke U 2021 (co-advisor with Ingrid Daubechies)
- Curtis Porter, PhD Thesis: The local equivalence problem for 7-dimensional, 2-nondegenerate CR manifolds whose cubic form is of conformal unitary type, Texas A&M 2016 (co-advisor with JM Landsberg & Igor Zelenko)
Undergraduate Students
- Xiayimei Han, Bachelors Thesis: Hodge representation of Calabi-Yau 3-folds, Duke U 2020
Undergraduate Research
- Math+ Project Formalization of Mathematics, Summer 2025. Project manager: Daniel Zhou. Research team: Huiyu Chen, Adam Kern, Justin Morrill, Letian Yang.
- Math+ Project Formalization of Mathematics, Summer 2024. Project managers: Stavan Jain, Kurt Ma, Ricardo Prado Cunha, Anoushka Sinha. Research team: Will Harris, Clara Henne, William Ho, Adam Kern, Dominic King, Arim Lim, Justin Morrill.
- Math+ Project Automated Theorem Proving and Proof Verification, Summer 2023. Project manager: Chun-Hsien Hsu. Research team: Yannan Bai, Annapurna Bhattacharya, Stavan Jain, Kurt Ma, Ricardo Prado Cunha, Anoushka Sinha.