本研究室では、数理システムや数理モデルの理論的な解析や評価を行い、それに基づいた情報システム設計を導くことをテーマにしています。 グラフ理論や組合せ理論などに代表される離散数学をメインに、理論計算機科学及び組合せ最適化技術を要素技術として持ち、さまざまな科学分野に応用しています。