白旗　優

通常の論理の基層にあるような論理的構造の探求をめざしている。テクニカルには，証明論で使われている様々な手法を，圏論などの代数的手法で，抽象化して捉えなすという方向の研究をしている。より広くは，物理学や経済学などの数理化された科学の基礎に関心をもっている。