コンピュータ・プログラムの振舞いを数理科学的手法を用いて定式化し、プログラムの正しさの検証や、プログラム変換の分野で研究を行っています。近年は特に組合せ幾何的手法による分散コンピューティングの研究を重点的に行なっています。