情報と計算の理論的基礎、及びそのコンピュータ上への実装と応用に関する研究を行っています。様々な領域の研究が行われていて、例えばプログラミング言語の理論的な意味を考える領域や、計算理論などでは計算そのものについて考える。機械翻訳などの人工知能の研究なども含まれます。