Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Shin-ya Katsumata

Project Associate Professor

National Institute of Informatics

Japan

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Japan

Articles (7)

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Collaborators (4)

Tarmo Uustalu

ESTONIA

View details

Tetsuya Sato

Lecturer

Tokyo Institute of Technology

JAPAN

View details

Philip Saville

University of Edinburgh

UNITED KINGDOM

View details

Alejandro Aguirre

VIP, Assistant Professor

Aarhus University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Shin-ya Katsumata

Research Interests

Make your next move.

Explore related searches

Articles (7)

Divergences on monads for relational program logics

Flexible presentations of graded monads

Stone dualities from opfibrations

Weakest preconditions in fibrations

Fully abstract models for effectful λ-calculi via category-theoretic logical relations

Higher-order probabilistic adversarial computations: categorical semantics and program logics

Weakest Preconditions in Fibrations

Collaborators (4)

Tarmo Uustalu

Tetsuya Sato

Philip Saville

Alejandro Aguirre

Make your next move.