TERUI, Kazushige
Name
TERUI, Kazushige
Position
Associate Professor
E-Mail
terui (email address: add @kurims.kyoto-u.ac.jp)
Research
Kazushige Terui is working on mathematical logic and its applications to
computer science. He is in particular interested in various aspects of
mathematical proofs, such as
(i) proof theoretic and algebraic aspects of proofs in nonclassical logics,
and (ii) computational complexity of proof normalization. As to (i), he has
algebraically reformulated several proof theoretic techniques such as
cut-elimination and interpolation, and
has also delineated the power of proof theory based on order algebraic
considerations.
As to (ii), he has for instance characterized the complexity of
normalization in simply typed
lambda calculus (propositional intuitionistic logic) for each rank, where
the basic idea comes
from a denotational semantics of linear logic.
Recently he is working on how to find a proof effectively based on insights
in mathematical
logic and the theory of programming languages.