MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Kai Pischke (he/him)
PhD Student
Publications

Kai Pischke is 1st year PhD student under the supervision of Nobuko Yoshida. His interests are in lightweight verification using type systems. He is currently working on a processes calculus integrating refinement types and session types. Before his PhD, he obtained a MCompSci at Oxford and his dissertation with Sam Staton was on categorical semantics for hardware description languages, and he previously worked on probabilistic programming.

Publications

2025