 Details

Last Updated on Tuesday, 29 September 2015 02:07

Hits: 15163
Fields of interests and research
 Mathematical Logic
 Constructive Mathematics
 Basic Logic
 Philosophy of Mathematics
Education beyond secondary school
 Sharif University of Technology, Tehran
June, 1980
B.Sc. Electrical Engineering
 Sharif University of Technology, Tehran
June, 1990
M.Sc. Mathematics
 Marquette University, Milwaukee, U.S.A.
May, 1995
Ph.D. Mathematics
Adviser: W. Ruitenburg, the title of dissertation: Aspects of Basic Logic.
Teaching experience
 Sharif University of Technology, Tehran, Lecturer , Spring 1989 and Fall 1990. , Spring 1990.
 Marquette University, Milwaukee, Teaching Assistant, , Fall 1990 Spring 1992 and Fall 1993Fall 1994.
 Sharif University of Technology, Tehran, Assistant Professor, June 1995 March 2001,
 Sharif University of Technology, Tehran, Associate Professor, , March 2001 May 2005.
 Sharif University of Technology, Tehran, Professor, May 2005.
Some courses taught
 Undergraduate: Calculus I, Calculus II, Mathematical Logic, Set Theory, Logic for Computer Science, Foundations of Mathematics.
 Graduate: Advanced Logic, Topos Theory, Constructive Mathematics, Computational Logic, Modal Logics, Topics in Heyting Arithmetic, NonClassical Logics.
Administrative and Industrial experience
 Power Planning Expert, Ministry of Energy, Tehran, July, 1981 July, 1990.
 Logic Group, Head, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Iran (19982000).
 ViceChairman of Graduate Studies, Department of Mathematical Sciences, Sharif University of Technology, Tehran, (20002).
 Chair of Department of Mathematical Sciences, Sharif University of Technology, Tehran, October 2006  December 2008.1
 ViceChairman of Research affairs, Department of Mathematical Sciences, Sharif University of Technology, Tehran, (20092012).