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