Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Hajime Ishihara


Referee for: F.
Institution: Japan Advanced Institute of Science and Technology
Address: School of Information Science
Japan Advanced Institute of Science and Technology
1-1 Asahidai, Tatsunokuchi
Ishikawa 923-1292
Japan
Home Page: http://www.jaist.ac.jp/~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