2025年度は、教員6名で運営しており、学生24名（指導委託中3名を含む）、ポスドク1名が在籍しています。
数理論理学
証明や公理などの数学を展開するための枠組みである形式論理の研究、およびそれらを用いた自然数や実数などの数学的対象の研究を行っています。- 形式論理：数学における論理を形式化し、その性質や応用について分析を行います。
- 公理的集合論：数理論理学を用いて、無限集合たちのなす構造を分析します。
- モデル理論：種々の数学的構造が持つ性質を、数理論理学を用いて分析します。
組合せ論
特定の性質を持った集合・組合せの存在や構成法の研究、および工学や数学諸分野の問題のエッセンスを抽出し解析する研究を行っています。- デザイン理論：図形の対称性などを用いて、組合せを構成（デザイン）します。また、図形の持つ対称性や均整の解析を行います。
- グラフ理論：離散的なつながりの構造（グラフ）の性質を、組合せ論的手法を用いて分析します。