教授
千葉大学 大学院理学研究院
Email: tsukada at math.s.chiba-u.ac.jp
t.tsukada at acm.org
プログラミング言語理論を研究しています．数理論理学，圏論，機械学習などの道具も利用しています．最近では，特に次のトピックに興味を持っています．
関連する論文：LICS 2014, LICS 2015, LICS 2017, LICS 2018, LICS 2022, POPL 2024
関連する論文：ESOP 2018, LICS 2020, POPL 2022, POPL 2023 (both of two papers)