Kai Pischke

Kai Pischke

PhD student @ Oxford University

About Me

I am currently a research intern at the National Institute of Informatics in Tokyo supervised by Taro Sekiyama. In the UK, I am based at the at the University of Oxford Department of Computer Science where I am a first 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)