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.
Contact us
Toshiko Smith
MSc SCSE and Short Courses Team
Tom Rawle
Business and Partnership Manager
University of York CPD Team for Generative AI in Engineering and Manufacturing
Contact us
Toshiko Smith
MSc SCSE and Short Courses Team
Tom Rawle
Business and Partnership Manager
University of York CPD Team for Generative AI in Engineering and Manufacturing