Logic Group

Masaru Shirahata

Research Fellow of the Japan Society for the Promotion of Science


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.



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).