Pedro Ribeiro

Pedro Ribeiro is a lecturer in Computer Science at the University of York. He has over a decade of experience in formal modelling and verification with applications to modern software engineering approaches, and is one of the core developers of RoboTool. His research interests span the breadth of the engineering lifecycle for robotics, including design and development of domain-specific notations and their formal semantics, model-based testing and verification using automated proof techniques. He is a member of the RoboStar centre of excellence and has been a member of several programme committees in the area of formal methods.