Name:Pedro Ribeiro

Bio:

I am Lecturer at the Department of Computer Science at the University of York (UK). I am a member of the RoboStar Centre of Excellence in Software Engineering for Robotics.

My research interests concern the formal specification and verification of cyber-physical and autonomous systems. I am interested in the development of model-based approaches for specification, namely using domain-specific languages, and in the use of heterogeneous semantics to capture a wide range of phenomena, such as data modelling, time, concurrency and continuous behaviour.

Country:United Kingdom

Affiliation:University of York, UK

Research interests:Formal Methods, Software Engineering, Robotics