Hajime Ishihara

Associcate Professor

ishihara＠jaist.ac.jp

NOTE: Japanese page is here.

Research Interests

• Constructive Mathematics
• Theory of Computation
• Nonstandard Logics

Research

• Publications
• Conferences and Workshops

Teaching

• Courses Taught
• Graduate Supervision

Profile

• Research Visitor, Radboud Universiteit Nijmegen 2005 Apr-Sep.
• Research Visitor, University of Auckland 2005 Jan-Mar.
• Guest Professor, Ludwig-Maximilians-Universitaet Muenchen, 2004 Oct-Dec.
• Visiting Fellow, Cornell University, 1993 Feb-Nov.
• Associate Professor, JAIST, 1992 April.
• Research Visitor, University of Waikato 1991 Oct-Dec.
• DPhil, Tokyo Institute of Technology, 1990,
• Research Associate, Hiroshima University, 1988 October - 1992 March.
• Research Visitor, New Mexico State University, 1988 July-Sept.
• MSc, Tokyo Institute of Technology, 1987.
• BSc, Tokyo Institute of Technology, 1980.