Stencil portrait of Kai Pischke

Kai Pischke

types, politics, & frequent befuddlement

I’m a third-year DPhil student in Computer Science at the University of Oxford, supervised by Nobuko Yoshida. I work on session types and the semantics of concurrent communication.

I’m also Treasurer of the International Federation of Liberal Youth, where most of my non-academic time goes.

You can find my research on the Oxford CS page or dblp, and a collection of blog posts on various topics on this webpage.

Recent writing