Renato Carvalho, Software Engineer (Critical Tech Works)
- Years when you began working at INESC TEC and when you left: 2018 – 2019
- Centre at INESC TEC where you worked: High-Assurance Software Laboratory
What have you been doing professionally since you left INESC TEC?
I develop techniques and applications to validate software to execute ‘Electronic Control Units’, designed to BMW vehicles. These units are embedded systems that control one or more vehicle systems/subsystems. An example of an ECU is the unit in charge of controlling the motor (ECM), or the one in charge of controlling the brakes (BCM) of a given vehicle.
How did your experience at INESC TEC contributed to your new professional history?
My experience at INESC TEC was very important to my professional and personal development. I had the opportunity to work and learn from ‘overachievers’, which had a significant impact on the form and content of my work.
When you think about INESC TEC, what comes to your mind?
Free flow of ideas
News, current topics, curiosities and so much more about INESC TEC and its community!
