Kai Pischke

Interests
My main focus is programming language theory and applications to concurrent and distributed systems. I am particularly interested in behavioural type systems and multiparty session types.
Biography
I am a second year DPhil student working on multiparty session types. I am particularly intersted in the expressiveness of Global Types. As of summer 2025, I am currently visiting Marco Carbone at IT University of Copenhagen.