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
Short courses in systems safety engineering; MSc Safety Critical Systems Engineering
Toshiko Smith, Postgraduate Student Services Team
cs-safety-courses@york.ac.uk
01904 325536
Bespoke courses for industry; Short course: Assured Software Engineering and Proof
Tom Rawle, Business and Partnerships Team
cs-cpd@york.ac.uk
01904 323561
Short course: Generative AI in Engineering and Manufacturing
University of York CPD team
Contact us
Short courses in systems safety engineering; MSc Safety Critical Systems Engineering
Toshiko Smith, Postgraduate Student Services Team
cs-safety-courses@york.ac.uk
01904 325536
Bespoke courses for industry; Short course: Assured Software Engineering and Proof
Tom Rawle, Business and Partnerships Team
cs-cpd@york.ac.uk
01904 323561
Short course: Generative AI in Engineering and Manufacturing
University of York CPD team