I am a professor at the Mathematical Institute of Tohoku University. My research specialties are logic, foundations of mathematics and theory of computation.

I run the logic seminar (in Japanese) at the Institute.
For the schedule, see Sendai Logic Seminar (in Japanese), too.

My curriculum vitae (English).

My recent papers (English): Go to the university site.

Other publications (Japanese):