SPEAKERS

Speakers:

Ana Cavalcanti - Professor at University of York & leader of the RoboStar centre of excellence on Software Engineering for Robotics

James Baxter - Researcher at University of York

Gustavo Carvalho - Lecturer at Centro de Informática of the Universidade Federal de Pernambuco (UFPE), Brazil

AGENDA

18:30 - Webinar starts

20:00 - Close

SYNOPSIS

Developments in control engineering and artificial intelligence are opening the way to a wide range of exciting robotic applications of great benefit to our society. A robot, however, typically relies on a large amount of software that determines its behaviour, which affects and is affected by its environment.

We will present an approach to the design and verification of robotic software that takes into account the assumptions that can be made about that environment. We will explain our approach, and demonstrate the use of two tools for capturing assumptions and proving properties of interest.

SPEAKER BIOGRAPHIES

Ana Cavalcanti is a Professor at the University of York, and a Royal Academy of Engineering Chair in Emerging Technologies. She is the leader of the RoboStar centre of excellence on Software Engineering for Robotics. The RoboStar approach to model-based Software Engineering complements current practice of design and verification of robotic systems, covering simulation, testing, and proof. The RoboStar approach is practical, supported by tools, and yet mathematically rigorous so that it can provide reliable evidence of expected behaviour.

James Baxter is a researcher at the University of York. His research interests are in the area of software engineering, particularly formal methods. For the past four years, he has been working on the RoboTest project, developing a verified model-based testing strategy for robotic systems.

Gustavo Carvalho is a lecturer at Centro de Informática of the Universidade Federal de Pernambuco (UFPE), Brazil. His main research interest is on Software Engineering, with emphasis on tests and formal methods. He has authored about 30 peer-reviewed publications, besides reviewing papers for international conferences (FM, SEFM, ICTAC, TASE) and journals (SCP, SoSyM, IST, IEEE TSE). In 2021, he served as the chair of the Formal Methods Special Group at the Brazilian Computer Society.

Our events are for adults aged 16 years and over.

BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today.

https://www.bcs.org/membership/events

For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.

THIS EVENT IS BROUGHT TO YOU BY:

BCS London Central Branch and BCS North London branch

Visit

https://www.bcs.org/membership-and-registrations/member-communities/london-central-branch/

https://nlondon.bcs.org/home.htm

Photo by Possessed Photography