Kai Pischke
PhD student @ Oxford University
Email:
concat ["kai.pischke", "@", "st-annes.ox.ac.uk"]
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)