Takeshi Tsukada

Name	Takeshi Tsukada
URL	https://takeshi-tsukada.github.io/
Affiliation	Chiba University
Section	大学院理学研究院数学・情報数理学研究部門情報数理講座
Job title	准教授
Degree	博士（情報科学）(東北大学)
Research funding number	50758951
J-Global ID	201801004783777227

Research Interests

program verification ,type system ,game semantics ,semantics of programs

Research Areas

Informatics / Software / プログラミング言語
Informatics / Information theory /

Research History

Sep 2020

Today

Chiba University

Apr 2015

Aug 2020

The University of Tokyo Graduate school of information science and technology Assistant professor

Oct 2013

Mar 2015

University of Oxford Sponsored visiting researcher

Apr 2013

Sep 2013

The University of Tokyo Graduate school of information science and technology Postdoc researcher

Apr 2010

Mar 2013

JSPS Research Fellowship for Young Scientists (DC1)

Committee Memberships

Apr 2024

Today

情報処理学会プログラミング研究会幹事

Apr 2019

Mar 2023

情報処理学会プログラミング研究会運営委員

Papers

12 3 4 5 >

Inductive Approach to Spacer

Takeshi Tsukada Hiroshi Unno

PLDI 2024 Jun 2024 [Refereed]

Enriched Presheaf Model of Quantum FPC

Takeshi Tsukada Kazuyuki Asada

Proceedings of the ACM on Programming Languages Jan 2024 [Refereed]

Optimal CHC Solving via Termination Proofs.

Yu Gu Takeshi Tsukada Hiroshi Unno

Proc. ACM Program. Lang. 7(POPL) 604-631 Jan 2023 [Refereed]

HFL(Z) Validity Checking for Automated Program Verification.

Naoki Kobayashi Kento Tanahashi Ryosuke Sato Takeshi Tsukada

Proc. ACM Program. Lang. 7(POPL) 154-184 Jan 2023 [Refereed]

Software model-checking as cyclic-proof search

Takeshi Tsukada Hiroshi Unno

Proceedings of the ACM on Programming Languages 6(POPL) 1-29 Jan 2022 [Refereed]

This paper shows that a variety of software model-checking algorithms can be seen as proof-search strategies for a non-standard proof system, known as a
cyclic proof system. Our use of the cyclic proof system as a logical foundation of software m...

Books and Other Publications

理論計算機科学事典

徳山, 豪, 小林, 直樹, 岩間, 一雄, 渡辺, 治, 今井, 浩, 南出, 靖彦, 五十嵐, 淳, 長谷川, 真人(Part:Contributor)

朝倉書店 Jan 2022 (ISBN:9784254122633)

Professional Memberships

Apr 2021

日本数学会

Apr 2015

ACM

Jun 2011

情報処理学会

Aug 2008

日本ソフトウェア科学階

Research Projects

12 >

機械学習技術による高速な演繹的推論エンジンの開発
日本学術振興会: 科学研究費助成事業基盤研究(B)
塚田武志末永幸平海野広志関山太朗

Project Year: Apr 2022 - Mar 2027

Program Verification Techniques for the AI Era
Japan Society for the Promotion of Science: Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (S)

Project Year: Aug 2020 - Mar 2025

Automated Theorem Proving with Machine Learning for Automating Mathematics
Japan Society for the Promotion of Science: Grants-in-Aid for Scientific Research
Suenaga Kohei

Project Year: Jun 2019 - Mar 2022

Categorical Semantics and Logical Interpretation of the Pi-Calculus
Japan Society for the Promotion of Science: Grants-in-Aid for Scientific Research Grant-in-Aid for Early-Career Scientists
Tsukada Takeshi

Project Year: Apr 2019 - Mar 2022

Game semantics and intersection type systems for program verification
Japan Society for the Promotion of Science: Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B)
Tsukada Takeshi

Project Year: Apr 2016 - Mar 2019