• 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.