Skip to main content

Kai Pischke

Personal photo - Kai  Pischke

Kai Pischke

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD


My main interest is programming language theory. I am particularly interested in behavioural and refinement type systems and their applications in concurrent systems.


I am currently a research intern at the National Institute of Informatics in Tokyo until September where I am working on a peoject combining effect types and refinement types together with Taro Sekiyama.