 |
Hajime Ishihara |
Curriculum Vitae:
- 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.
Main Research Interests:
- Constructive Mathematics
- Theory of Computation
- Nonstandard Logics
|
