[an error occurred while processing this directive] Kai Pischke | Department of Computer Science [an error occurred while processing this directive]

Kai Pischke

Personal photo - Kai  Pischke

Kai Pischke

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

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.

Supervisor

[an error occurred while processing this directive]