Education

(ongoing) Phd in Computer Science,

University of Nottingham, School of Computer Science,

Functional Programming Lab

Advisor: Nicolai Kraus

Dec 2024 - Now

M.Sc in Pure Mathematics,

Sharif University of Technology, Department of Mathematical Sciences

Thesis: "Mathematical object and Logical Form in Homotopy Type Theory" ( in Persian )

Advisor: Mohammad Ardeshir

Sep 2021- Feb 2024

GPA: 18.81 / 20 (first rank student)

B.Sc in Mathematics and Applications \ Minor in Philosophy of Science

Sharif University of Technology, Department of Mathematical Sciences \ School of Philosophy of Science

Sep 2016- Jul 2021

GPA: 17.57 / 20 (third rank student)