Hajime Ishihara
Associcate Professor
ishihara@jaist.ac.jp
DPhil Tokyo Institute of Technology, 1990
NOTE: Japanese page is here.
Research Interests
- Constructive Mathematics
- Theory of Computation
- Nonstandard Logics
Research
Teaching
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.