Back to advisors
PR

Pedro Ribeiro

Academic Staff · Computer Science

University of York · United Kingdom
Formal specificationVerification of cyber-physical systemsAutonomous systemsModel-based approachesDomain-specific languagesHeterogeneous formal semantics

About

Dr Pedro Ribeiro is an academic staff member in the Department of Computer Science at the University of York. His interests include formal specification and verification of cyber-physical and autonomous systems, including robots, model-based approaches for specification using domain-specific languages, and heterogeneous formal semantics to capture data modelling, time, concurrency, and continuous behaviour.

Education

  • PhD in Computer Science, 2015
  • MEng in Computer Systems and Software Engineering, 2011

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.