塚田 武志

研究

プログラミング言語理論を研究しています．数理論理学，圏論，機械学習などの道具も利用しています．最近では，特に次のトピックに興味を持っています．

ゲーム意味論および関連するモデル

関連する論文：LICS 2014, LICS 2015, LICS 2017, LICS 2018, LICS 2022, POPL 2024

プログラムの自動検証

関連する論文：ESOP 2018, LICS 2020, POPL 2022, POPL 2023 (both of two papers)