Renato Carvalho, Engenheiro Informático

Renato Carvalho, Engenheiro Informático (Critical Tech Works)

• Anos em que entrou e saiu do INESC TEC: 2018 – 2019
• Centro do INESC TEC com que colaborou: Laboratório de Software Confiável

O que é que tem feito profissionalmente desde que saiu do INESC TEC?

Desenvolvo técnicas e aplicações para efetuar validação de software que executa sobre ‘Electronic Control Units’ (ECU), destinados a veículos da BMW. Estas unidades são sistemas embebidos que controlam um ou mais sistemas/subsistemas do veículo. Tipos de ECUs são, por exemplo, a unidade que controla o motor (ECM), ou a que controla os travões (BCM) de um dado veículo.

Como é que o trabalho no INESC TEC contribuiu para uma nova fase profissional?

A minha passagem pelo INESC TEC foi de extrema significância para o meu desenvolvimento, tanto profissional, como pessoal. Aqui tive a oportunidade de trabalhar e aprender com ‘overachievers’, o que, consequentemente, impactou tanto a forma, como o conteúdo do meu trabalho.

Quando pensa no INESC TEC, o que lhe vem à memória?

Free flow of ideas.