FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Pedro Ribeiro

Registered user since Thu 28 May 2020

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

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile