本研究室では，分散・並列システムを中心とした，多様な計算モデルを対象としたアルゴリズムの設計や解析を行っています．計算対象の数理的なモデル化とその理論解析を通して「問題の難しさの本質」を探求・理解し，そこで得られた知見を優れたアルゴリズム設計に生かすことを目指して研究を行っています．