About me

Fields of interests and research

  • Mathematical Logic
  • Constructive Mathematics
  • Basic Logic
  • Philosophy of Mathematics

Education beyond secondary school

  • Sharif University of Technology, Tehran
    June, 1980
    B.Sc. Electrical Engineering
  • Sharif University of Technology, Tehran
    June, 1990
    M.Sc. Mathematics
  • Marquette University, Milwaukee, U.S.A.
    May, 1995
    Ph.D. Mathematics
    Adviser: W. Ruitenburg, the title of dissertation:  Aspects of Basic Logic.

 Teaching experience

  • Sharif University of Technology, Tehran, Lecturer , Spring 1989 and Fall 1990. , Spring 1990.
  • Marquette University, Milwaukee, Teaching Assistant, , Fall 1990- Spring 1992 and Fall 1993-Fall 1994.
  • Sharif University of Technology, Tehran, Assistant Professor, June 1995- March 2001,
  • Sharif University of Technology, Tehran, Associate Professor, , March 2001- May 2005.
  • Sharif University of Technology, Tehran, Professor, May 2005.

Some courses taught

  • Undergraduate: Calculus I, Calculus II, Mathematical Logic, Set Theory, Logic for Computer Science, Foundations of Mathematics.
  • Graduate: Advanced Logic, Topos Theory, Constructive Mathematics, Computational Logic, Modal Logics, Topics in Heyting Arithmetic, Non-Classical Logics.

Administrative and Industrial experience

  • Power Planning Expert, Ministry of Energy, Tehran, July, 1981- July, 1990.
  • Logic Group, Head, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Iran (1998-2000).
  • Vice-Chairman of Graduate Studies, Department of Mathematical Sciences, Sharif University of Technology, Tehran, (2000-2).
  • Chair of Department of Mathematical Sciences, Sharif University of Technology, Tehran, October 2006 - December 2008.1
  • Vice-Chairman of Research affairs, Department of Mathematical Sciences, Sharif University of Technology, Tehran, (2009-2012).