Kai Pischke

Kai Pischke

PhD student @ Oxford University

About Me

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

Interests

  • Type Systems
  • Concurrent and Distributed Systems
  • Functional Programming

Research Projects

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