π-calculus, Session Types research at the University of Oxford
I am a Research Assistant at the University of Oxford. I have an MMathCompSci degree from Oxford. I am working on multiparty sessions types.