English| 日本語

Takeshi Tsukada

Associate 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.

Game semantics and related models

Related papers: LICS 2015, LICS 2016, LICS 2017, LICS 2018, LICS 2022, POPL 2024

Automated verification

Related papers: ESOP 2018, LICS 2020, POPL 2022, POPL 2023 (both of two papers)