(1)　グラフ変換とグラフアルゴリズム、カテゴリー論のソフトウェア科学への応用 分散並列処理の可能性や新しい計算のパラダイムを模索してグラフ変換を利用したグラフ・アルゴリズムについて考える。特に、ネットワーク信頼性などの応用分野を意識し、有効なグラフ不変量の発見とその計算アルゴリズム開発に関する研究を行う。カテゴリー論についてプログラム理論、オートマトン理論、論理プログラミング、概念構成などのソフトウェア科学への応用の観点から研究指導を行う。(2)　計算機ネットワーク 計算機ネットワークを利用した情報システム、特に、暗号系を利用したシステム保護について、数学理論を利用した背景を含めて広く教育研究指導を行う。

研究キーワード	ソフトウェア科学、グラフ変換理論、計算理論
所属部局：部門	マス・フォア・インダストリ研究所 ： 数学理論先進ソフトウェア開発室 ,先進暗号数理デザイン室 (兼任)