Dr Joseph Paulus
Research Associate
PublicationsI am a Research Associate in Theoretical Computer Science at the University of Oxford. I obtained my PhD from the University of Groningen. My research focuses on probabilistic multi-party session type systems and the model checking of probabilistic multi-party systems. I adopt a bottom-up approach, ensuring correct interactions between sessions through safety properties and exploring probabilistic behavioural equivalences.