Department of Computer Science

Bristol BAME STEM seminar on Software Engineering for Robotics

On the 17th of January 2023 Ana Cavalcanti will be giving a seminar on Software Engineering for Robotics as part of the BAME STEM group at the University of Bristol.

Bristol BAME STEM group poster of Ana Cavalcanti's talk


Robots are increasingly changing how we work and play, but the way software is developed to control these machines is costly, because it involves so much trial and error. The RoboStar group, involving researchers in York, Sheffield, and several other institutions around the world, is designing a model-based approach for validation, verification, and automatic generation of code and tests. The mathematical underpinning of the techniques provides assurance of soundness of all artefacts. The goal is to enable development of control software for robotics of better quality at a lower cost. In this talk, we will give an overview of our motivation, approach, and current and future work.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements