Kai Pischke

Carbone, M. (Host)

Theoretical Computer Science
Programming Logic and Semantics

Activity: Hosting a visitor types › Hosting an academic visitor

Description

Kai is a PhD student at University of Oxford working on Session Types under the supervision of Prof. Nobuko Yoshida. Kai will visit me for about 45 days.

Period	21 Jul 2025 → 25 Aug 2025
Visiting from	University of Oxford (United Kingdom)
Visitor degree	Master