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 intersted in the expressiveness of Global Types and how the static guarantees they provide can be extened using refinement types. From 2024-2026 I was also a Tutor at St. Anne's on the Graduate Developemnt 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