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