計算機代数(いわゆる数式処理)の理論とその応用の研究を行っています。理工学におけるいろいろな問題に対して、数式処理の制約問題・最適化のアルゴリズムに基づいた新しい方法論を開発し、その成果をツールとして実装しながら実際の工学や産業上の問題への適用を推進しています。実用的に使える方法を実現するため、数値計算と数式処理を融合した数値・数式ハイブリッド計算に基づく計算技法の研究にも力を入れています。実応用への展開の中に数理を見出し、数学へフィードバックして、応用に必要な新しい数理を創り出すことができるような研究を目指しています。