Students

Current PhD student

  •  Rahim Ramezanian
  • Zahra Ghafouri

Former PhD students

  • Mojtaba Aghaei, the title of dissertation: Gentzen style  Axiomatizations for Basic Logic,May 2000, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
  • Farzad Didehvar, the title of dissertation: Some concepts and problems in theory of complexity in structures, August, 2002, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
  • Majid Alizadeh, the title of dissertation: Algebraic Aspects of Basic Propositional Logic , June 2004, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
  • Rasoul Ramezanian, the title of dissertation: The Temporal Continumm and Dynamic Computaions, August, 2008, Department of Mathematics, Sharif University of Technology,
    Tehran.
  • Fateme Nabavi, the title of dissertation: Deontic Logic of Islamic Jurisprudence, October, 2009, Department of Mathematics, Sharif University of Technology, Tehran.
  • Mojtaba Mojtahedi, the title of dissertation: The\Sigma_1-Provability Logic of Intuitionistic Arithmetic, October, 2013, Department of Mathematics, Sharif University of Technology,Tehran.