Matt is a postdoc in the York RoboStar group, working on notations for capturing verifiable properties of models of robotic systems. Matt’s interests include automatic verification and testing of concurrent software, and producing tools and languages for formal reasoning.