Ph.D of Mathematics/Theoretical Computer Science (University of Turku 2005)
Ph.D of Mathematics/Logic (Institute of Mathematics, Polish Academy of Sciences 2002)
M.Sc of Mathematics/Mathematical Logic (Warsaw School of Exact Sciences 2001)
B.Sc of Mathematics (Sharif University of Technology, Tehran 1997)

Curriculum Vitae  (An exhaustive list of academic activities, studies, research, etc.)