|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