I am a first-year PhD student in the FP Lab at the University of Nottingham, under the supervision of Nicolai Kraus. My main research interests are Higher Category Theory, Homotopy Type Theory, and their relationship.

Before coming to Nottingham, I completed my M.Sc in pure mathematics at Sharif University of Technology. Before that, I earned my B.Sc in mathematics with a minor in philosophy of science, also at Sharif University.