Speaker
Pedro Ribeiro
Pedro Ribeiro is a Lecturer (Assistant Professor) in Computer Science at the University of York, UK. Previously, he was a Research Fellow in the School of Physics Engineering and Technology at York, and before that a Research Associate in Computer Science. He completed his PhD at York on the treatment of angelic nondeterminism for process calculi. He has over a decade of experience with formal approaches to software engineering relevant to robotics and cyber-physical systems more generally. His research interests span the breadth of the engineering lifecycle, spanning from design and development of domain-specific notations and their semantics, to testing and formal reasoning using automated mathematical proof techniques. He is a member of the York’s RoboStar centre for Excellence in Software Engineering for Robotics, and a founding member of Formal Methods Europe’s communications committee.