Rchr
J-GLOBAL ID:201801004783777227   Update date: Sep. 19, 2024

Tsukada Takeshi

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  (7):
  • 2024 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
  • 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
Show all
Papers (50):
  • Takeshi Tsukada, Hiroshi Unno. Inductive Approach to Spacer. PLDI 2024. 2024
  • TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHI. Signature restriction for polymorphic algebraic effects. Journal of Functional Programming. 2024. 34
  • 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
more...
Books (1):
  • 理論計算機科学事典
    朝倉書店 2022 ISBN:9784254122633
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):
  • 2024/04 - 現在 情報処理学会 プログラミング研究会 幹事
  • 2019/04 - 2023/03 情報処理学会 プログラミング研究会 運営委員
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