| ||Morteza Moniri a Ph.D. candidate in mathematical logic at school of mathematics of IPM completed the requirement of a Ph.D. degree, doctor of philosophy on Thursday, November 2, 2000. He successfully defended his thesis entitled, "CLOSURE PROPERTIES AND KRIPKE MODELS FOR FRAGMENTS OF HEYTING ARITHMETIC".|
His supervisor was Dr. Mojtaba Moniri, an IPM researcher and a professor of Tarbiat Modarres University. The thesis was co-advised by Dr. M. Ardeshir a logition from IPM and Sharif University of Technology.
There was a ceremony after the exam which was attended by IPM Director, Dr. Larijani.
Visit this page to see the photographs: http://ipm.ac.ir/news/2000/moniri/moniri.htm