Kai Pischke

Kai Pischke

PhD student @ Oxford University

About me

I am a first-year PhD (DPhil) student working under the supervision of Nobuko Yoshida as part of the Mobility Reading Group at the University of Oxford Department of Computer Science.

Interests

  • Type Systems
  • Concurrent and Distributed Systems
  • Functional Programming

Research

Categorical Semantics and Modal Types for Hardware Description (Master's Thesis)