Name TERUI, Kazushige
Position Associate Professor
E-Mail terui (email address: add @kurims.kyoto-u.ac.jp)
Kazushige Terui is working on mathematical logic and its applications to computer science. He is in particular interested in (i) proof theoretic and algebraic aspects of nonclassical logics, and (ii) logical systems for implicit computational complexity. As to (i), he is trying to algebraically reformulate proof theoretic techniques such as cut-elimination and interpolation, and also to delineate the power of proof theory based on algebraic considerations. As to (ii), he has worked on logical systems which implicitly capture complexity classes such as P, and recently is proposing a new framework in which various metatheorems in complexity theory can be logically analyzed.