Kai Pischke
Interests
My main interest is programming language theory. I am particularly interested in behavioural and refinement type systems and their applications in concurrent systems.
Biography
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.