賈伊陽研究室では、数理科学と機械学習の融合に関する研究を行っている。
特に、圏論・トポス理論といった抽象数学の枠組みを応用し、学習可能性やモデル表現の理論的基盤を探究している。
また、これらの理論に基づいたモジュール構造や推論過程の形式化を通じて、柔軟かつ構成的な機械学習アルゴリズムの開発を目指している。
研究テーマは、理論的検討にとどまらず、実践的応用との架け橋を重視している。
数学・情報科学・人工知能の交差点における新しい知の創出を志向し、国内外の研究者との共同研究も積極的に展開している。