Takeshi Tsukada

Chiba University

Japan

Research Interests

Explore related searches

Professors in Japan

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (10)

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2022

Year:

2021

Year:

2020

Collaborators (5)

Ryosuke Sato

University of Tokyo

JAPAN

View details

Hiroshi Unno

Associate Professor

University of Tsukuba

JAPAN

View details

Naoki Kobayashi

University of Tokyo

JAPAN

View details

Atsushi Igarashi

教授 / Professor

Kyoto University

JAPAN

View details

Taro Sekiyama

National Institute of Informatics

JAPAN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Takeshi Tsukada

Research Interests

Explore related searches

Contact this professor

Articles (10)

A Primal-Dual Perspective on Program Verification Algorithms

Nola: Later-Free Ghost State for Verifying Termination in Iris

Signature restriction for polymorphic algebraic effects

Inductive Approach to Spacer

Enriched Presheaf Model of Quantum FPC

HFL(Z) Validity Checking for Automated Program Verification

Optimal CHC Solving via Termination Proofs

Software model-checking as cyclic-proof search

CPS transformation with affine types for call-by-value implicit polymorphism

Signature restriction for polymorphic algebraic effects

Collaborators (5)

Ryosuke Sato

Hiroshi Unno

Naoki Kobayashi

Atsushi Igarashi

Taro Sekiyama

Make your next move.