π-calculus, Session Types research at the University of Oxford
I am a DPhil Student at the University of Oxford. I graduated in Computing from Imperial College London. Previously I worked as a Research Student at Imperial College London, and a Software Engineering Intern at Ghyston.