Litu Zou
PhD Student
I am a DPhil student at the University of Oxford. I previously completed a MSc in Advanced Computer Science at Oxford, with a dissertation on probabilistic session types with expected cost analysis. Currently I am working on the theory and application of probabilistic session types in concurrent systems.