Dr Pedro Ribeiro
Pedro Ribeiro is a lecturer in Computer Science. Previously, he was a Research Fellow in the School of Physics Engineering and Technology, and before that a Research Associate.
He completed his PhD (2015) on the foundations of angelic nondeterminism. He has over a decade of experience working on formal methods with applications in modern software engineering approaches. His research interests span the breadth of the engineering lifecycle, including design and development of domain-specific notations and their semantics, testing and formal verification 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.