Students

PhD. Students

  1. Mojtaba Aghaei: Gentzen style axiomatizations for basic Logic, May, 2000, Institute for studies in theoretical Physics and Mathematics (IPM), Tehran.
  2. Farzad Didehvar: Some concepts and problems in theory of complexity in structures, August, 2002, Institute for studies in theoretical Physics and Mathematics (IPM), Tehran.
  3. Majid Alizadeh: Algebraic aspects of Basic Propositional Logic, june, 2004, Institute for studies in theoretical Physics and Mathematics (IPM), Tehran.

M.Sc. Students

  1. Karim Salehi: Quantum Logic, March 1999, Philosophy of Science Group, Sharif university of Technology.
  2. Reza Habibi: Diagonalization and Incompleteness Theorems, Sept., 1999, Philosophy of Science Group, Sharif university of Technology.
  3. Bahareh Badban: Fragments of HA, Oct., 2000, Mathematics Department, Sharif university of Technology.
  4. Mehrnoosh Sadrzadeh: Philosophical Foundations of Brauwer's Intuitionism, Nov., 2000, Philosophy of Science Group, Sharif university of Technology.
  5. Rambod Kaghazchi: Dummett's Philosophical basis for Intuitionistic Logic, May, 2, 2001, Philosophy of Science Group, Sharif university of Technology.
  6. Bardyaa Hesaam: Realizability in Basic Arithmetic, March, 6, 2002, Mathematics Department, Sharif university of Technology.
  7. Hasan Fath-zadeh: Kripke's Theory of Necessity, Sept. 24, 2002, Philosophy of Science Group, Sharif university of Technology.
  8. Masoud Memarzadeh: Interpretability Logic, Sept. 22, 2003, Mathematics Department, Sharif university of Technology.
  9. Rasoul Ramezanian: Das Kantinuum, Sept. 22, 2003, Mathematics Department, Sharif university of Technology.
  10. Mohammad Korizani: Horn Clauses Satisfiability Problem in Prolog, Sept. 27, 2003, Mathematics Department, Sharif university of Technology.
  11. Mohammad Torabi-Dashti: Formal Methods in Verification of Cryptographic Protocols, Nov. 15, 2003, Mathematics Department, Sharif university of Technology.
  12. Hadi Shafei: Submodels of Kripke Models, Feb. 3, 2004, Mathematics Department, Sharif university of Technology.
  13. Behrang Assemi: Formal specification and verification of work-flow diagrams, Dec. 2005, Mathematics Department, Sharif University of Technology.
  14. Mojtaba Soltani: Church thesis and philosophical foundation of computability, Jan. 2006, Philosophy of Science Group, Sharif University of Technology.
  15. Parvaneh Ghazinejad: Theories of reference: from Mill to Kripke, March 2006, Philosophy of Science Group, Sharif University of Technology.