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)
Contact details
Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH
UK
Phone: +44 (0)1904 325500
Office: CSE/139
E-mail: Send e-mail using web form