I’m an Assistant Professor in Computer Science at the University of Nottingham (UK). My research focusses on Formal Methods for Safety-Critical/Autonomous Systems, and my formalism of choice is CSP. In 2019 I co-founded the Workshop on Formal Methods for Autonomous Systems (https://fmasworkshop.github.io/).