返回导师列表
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

简介

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.

教育经历

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。