I'm a mathematical logician.

My major research interests are Gödel's incompleteness theorems and provability logic.

I'm working at Graduate School of System Informatics, Kobe University, Japan

This site has been moved to new one.

New address is

http://www2.kobe-u.ac.jp/~tk/