Advising

Ph.D. Students

• Hanul Jeon
  Cornell University, Mathematics (co-advising with Justin Moore)

Undergraduate Advising

Dean's Undergraduate Research Fund, New York University

• Eliot Fease
  Spring 2024: Applications of Modal Logic to Gödel's Incompleteness Theorems

• Weiqi Qiu
  Fall 2024: Relative Consistency of Classical and Constructive Arithmetic

Directed Reading Program, UC Berkeley

• Java Darleen Villano
  Spring 2017: Proof Theory; Fall 2018: Constructive Arithmetic; Spring 2018: Reverse Mathematics; Fall 2019: Combinatorial Independence