معرفی
Pedro Ribeiro is a Lecturer at the Department of Computer Science, University of York. His research focuses on formal specification and verification of cyber-physical and autonomous systems, particularly using model-based approaches with domain-specific languages like RoboChart.
His work addresses heterogeneous formal semantics to capture complex system behaviors, including timing, concurrency, and continuous dynamics. Recent publications highlight verification of robotic autonomous systems, safety assurance frameworks, and algebraic models for concurrency.
- Quantum computation
- Formal verification
- Concurrency theory
- Model-driven engineering
He contributes to the development of tools like RoboTool and RoboStar, enabling combined proof, simulation, and testing for robotics applications.
۰مقاله ثبتشده
