当研究室の主な研究分野は制約プログラミングです。制約プログラミングでは、人間は解きたい問題を制約充足問題として記述し、コンピュータが自動的にそれを解きます。制約充足問題とは変数と制約（変数間の関係、例えば方程式）とで記述された問題です。当研究室ではいろいろな問題の制約充足問題としての定式化やその解き方を研究しています。