Kai Pischke

Kai Pischke

Doctoral Student

Student, St Anne's College

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Programming Languages

See Also:

• Personal Website

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 fourth-year DPhil student working on multiparty session types. I am particularly interested in the expressiveness of Global Types and how the static guarantees they provide can be extended using refinement types. From 2024–2026 I was also a Tutor at St. Anne’s on the Graduate Development Scholarship.

Selected Publications

View AllManage publications

• Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols

  Kai Pischke and Nobuko Yoshida

  2026.

  Details about Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols | BibTeX data for Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols | Link to Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols

Supervisor