Luís Ribeiro Email & Phone Number

Braga, Portugal

SW Architect responsible for the SW configuration process and method description.In my capacity as a SW Architect, I play a crucial role in ensuring the deliver of high-quality and standard compliant SW code. My main role lies in developing and maintaining both the SW development process and method description clear and aligned with the SW development team, regarding configuration and the use of pure::variants.Regarding my academic background, I also make use of model-checking languages, particularly TLA+, to investigate and evaluate the functional behavior of the Airbag ECU (Electronic Control Unit).

The research focused on software assurance within robotics systems through formal techniques, including property specification and model-checking.