本研究室では，組合せ数学（離散数学）を基盤として，符号理論・暗号理論，数理統計学，数理最適化，制約論理プログラミングなどの理論から，それらに基づくアルゴリズム設計やソルバー開発に至るまで幅広く研究を行っています．私たちは，多様な離散数理モデルの中に潜む組合せ構造や計算の限界を明らかにし，その理解を通じて効率的なアルゴリズム設計やツール開発を進めることで，組合せ数学を多様な場面で活かせるようにしています．

近年は特に，グループテストや組合せテストと呼ばれる問題を代表とする，離散数理モデルに基づく探索問題やスパース推定問題に関する研究に力を入れています．