Accessibility statement

Academic and Teaching Staff

Dr Pedro Ribeiro
Lecturer

Interests

  • Formal specification and verification of cyber-physical and autonomous systems, including robots.
  • Model-based approaches for specification, namely using domain-specific languages.
  • Heterogeneous formal semantics to capture a wide range of phenomena, such as data modelling, time, concurrency and continuous behaviour.

Qualifications

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

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

Phone: +44 (0)1904 325500

Office: CSE/139

E-mail: