主に無限次元のLie環とそれに付随するLie群の実現とその表現について研究する。
　研究・教育支援情報システムに仮想化とネットワークを利用することで、多くの分野に対応し、かつ安全に運用可能な環境を開発する。研究・教育支援情報システムに仮想化とネットワークを利用することで、多くの分野に対応し、かつ安全に運用可能な支援環境を開発する。