Home Page of Morteza Moniri


Research Interests


Mathematical
Logic (firstorder arithmetic, intuitionistic logic, modal logic).

Computational Logic (logical aspects of complexity
theory),
and Philosophical Logic
(nonclassical logics, possible world semantics).


Activities

Conference Organization:
I was among organizers of the following international
meetings:
Workshop and Conference on
Logic, Algebra, and Arithmetic (Oct. 1822,
2003, IPM).
Workshop on Quantum Computing
(Aug. 15, 2004, IPM).
Teaching (Graduate):
Mathematical Logic (Axiomatic Set Theory, Godel's Theorems), Fall
semester, 2003.
Topics in Mathematical Logic (Provability Logic), Fall semester,
2004. Mathematical
Logic (Axiomatic Set Theory, Godel's Theorems), Fall semester,
2004.
Model Theory, Spring semester, 2005.
Intuitionistic Logic and Arithmetic, Fall semester, 2005.
Teaching (Undergraduate):
Calculus, Foundations of mathematics, Set theory, Mathematical logic,
Abstract algebra,
Theory of Computing.


Publications

 Theses
Ms: Measure of Critical Sets (University of
Tehran, 1993)
PhD: Provability Results and Kripke Models for Fragments of Heyting
Arithmetic (IPM, 2000)
A Persian paper for the Isfahan Meeting (ps
file):
First
order arithmetic and its fragments with some applications to complexity
theory
Research Journal Papers
 Journal of
Symbolic Logic, 67 (2002) 91103.
 Archive for Mathematical Logic, 41 (2002)
101105.

Mathematical Logic
Quarterly, 48 (2002) 157160.

Mathematical Logic Quarterly, 49 (2003)
250254.

Mathematical Logic Quarterly, 49
(2003) 425427.
 Archive for Mathematical
Logic, 42 (2003) 791796.
 Mathematical Logic Quarterly,
49 (2003) 479484.
 Journal of Logic and
Computation, 13 (2003) 881888.
 Mathematical Logic Quarterly,
51 (2005) 7376.
 [11]
An
Independence Result for Intuitionistic Bounded Arithmetic,
 Journal of Logic and Computation,
16 (2006) 199204.
 Lecture Notes in Logic,
Vol. 26, 2006.
 Archive for Mathematical
Logic, 2006, Published online.


Talks

I've presented talks at LC99, LC2000, LC2001, and LC2002 in Utrecht,
Paris,
Vienna, and Münster, respectively. The abstracts of them
(except the second one) were
published in The Bulletin
of Symbolic Logic. I've also
presented invited talks in the Departments of Math. at Isfahan University of
Technology, Tarbiat Modarres University, and IPM.


Some Useful Links



My Address

Institute for
Studies in Theoretical Physics and Mathematics (IPM)
P.O. Box 193955746
Tehran
IRAN
Tel: (+98 21)
222870134 (ext. 2115)
Fax: (+98 21) 22290648
Email:
ezmoniri
AT ipm.ir


