Professor
Graduate School of Science, Chiba University
Email: tsukada at math.s.chiba-u.ac.jp
t.tsukada at acm.org
My research is in programming language theory. I use tools from logic, category theory, and machine learning. I have been recently interested in the following topics.
Related papers: LICS 2015, LICS 2016, LICS 2017, LICS 2018, LICS 2022, POPL 2024
Related papers: ESOP 2018, LICS 2020, POPL 2022, POPL 2023 (both of two papers)