Hajime Ishihara
Professor
School of Information Scienceã€Intelligent Robotics Area
Japan Advanced Institute of Science And Technology
Japan
Biography
B.S., M.S. and Ph.D.from Tokyo Institute of Technology (1980,1987,1990) Researcher at Mitsubishi Research Institute, Inc. (1980), Associate at Hiroshima University (1988), Associate Professor at Japan Advanced Institute of Science and Technology (1992) Constructive Mathematics, Mathematical Logic, and Foundations of Mathematics
Research Interest
constructive mathematics, intuitionistic logic, reverse mathematics, constructive set theory
