Registered user since Thu 28 Apr 2022
Name:Kai Pischke
Bio:
I’m a 1st year PhD student the University of Oxford. I am currently working on type systems for concurrency with Nobuko Yoshida and was previously working on types for hardware and probabilistic programs under the supervision of Sam Staton.
Country:United Kingdom
Affiliation:University of Oxford
Personal website: http://kaipi.net
X (Twitter): https://x.com/CompSciKai
Research interests:Concurrent and Distributed Systems, Type Systems, Functional Programming
Contributions
Using general profile