Tsukada Takeshi

Affiliation and department：
Homepage URL (1)： https://takeshi-tsukada.github.io/

Research field (2)： Software , Information theory

Research keywords (4)： program verification , type system , game semantics , semantics of programs

Research theme for competitive and other funds (6)：

2022 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
2020 - 2025 Program Verification Techniques for the AI Era
2019 - 2022 Automated Theorem Proving with Machine Learning for Automating Mathematics
2019 - 2022 Categorical Semantics and Logical Interpretation of the Pi-Calculus
2016 - 2019 Game semantics and intersection type systems for program verification

Show all

Papers (47)：

Takeshi Tsukada, Kazuyuki Asada. Enriched Presheaf Model of Quantum FPC. Proceedings of the ACM on Programming Languages. 2024
Yu Gu, Takeshi Tsukada, Hiroshi Unno. Optimal CHC Solving via Termination Proofs. Proc. ACM Program. Lang. 2023. 7. POPL. 604-631
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada. HFL(Z) Validity Checking for Automated Program Verification. Proc. ACM Program. Lang. 2023. 7. POPL. 154-184
Takeshi Tsukada, Hiroshi Unno. Software model-checking as cyclic-proof search. Proceedings of the ACM on Programming Languages. 2022. 6. POPL. 1-29
Takeshi Tsukada, Kazuyuki Asada. Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings. Proceedings of 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS 2022). 2022. 60-13

ｍore...

Books (1)：

Professional career (1)：

Work history (5)：

2020/09 - 現在 Chiba University
2015/04 - 2020/08 The University of Tokyo Graduate school of information science and technology Assistant professor
2013/10 - 2015/03 University of Oxford Sponsored visiting researcher
2013/04 - 2013/09 The University of Tokyo Graduate school of information science and technology Postdoc researcher
2010/04 - 2013/03 JSPS Research Fellowship for Young Scientists (DC1)

Committee career (2)：

Association Membership(s) (4)：

日本数学会 , ACM , 情報処理学会 , 日本ソフトウェア科学階

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page