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)

Departmental and University Roles

• Research Progression Panel Members