Ph.D., .Mathematics

Institute for Studies in Theoretical Physics and Mathematics, Tehran, June, 2000

M.Sc., Mathematics

 Isfahan University Of Technology, Isfahan , June, 1996

B.Sc .,Mathematics

 Isfahan University Of Technology, Isfahan, June, 1994

PhD Thesis: Gentzen Style Axiomatizations for some Conservative Extensions of Basic Propositional Calculus

M.Sc Thesis: Coherence Theorems via Knot theory