• 2016- : Assistant Professor, University of Tehran, Tehran, College of science, School of mathematics, statistics and Computer Science.
  • 2013-2016:  Lecturer, Sharif University of Technology, Tehran. Department of Mathematical Science.
  • 2008-2013:  PhD, Sharif University of Technology, Tehran. The title of my PhD Thesis: "The \(\Sigma_1\)-Provability logic of Heyting Arithmetic".  My supervisor:  Mohammad Ardeshir.
  • 2006-2008: Master of Science, Sharif University of Technology, Tehran.
  • 2002-2006: BSc, Sharif University of Technology, Tehran.