Logic Group

Masaru Shirahata

Research Fellow of the Japan Society for the Promotion of Science

sirahata@jaist.ac.jp

Ph.D. Stanford University, 1994


Research Interests

I am mainly interested in the new approaches to logic and mathematics, which take into account the computational (intensional) aspects more fully than the existing set-theoretical foundations.

Publications

Profile

B.Litt. Kyoto University 1984, M.Litt. Kyoto University 1986, Fulbright exchange student 1988-1993, Ph.D. Stanford University 1994, JSPS research fellow 1995-.
Last modified: July 12, 1995 by Masaru Shirahata (sirahata@jaist.ac.jp).