計算代数・数式処理と呼ばれる領域の研究をしています。こうした領域で研究されてきたグレブナー基底や限量子消去の実応用にも興味があります。最近は、因子分析モデルやニューラルネットワークモデルのような統計モデルにおける諸問題の解決を目指して、グレブナー基底や限量子消去を活用しています。