Academic Information

I started as an undergraduate student in Computer Science in U. Minho. After completion, I followed up my studies with a Master's degree in Informatics Engineering, also in U. Minho, specialising in Formal Methods and Distributed Systems. My Master's Thesis, named Applying Coding Standards to the Robot Operating System, focused on software quality, namely on studying various coding standards and how they can be applied in robotics software.

I am now a MAP-i Ph. D. student, and my research explores how robotics software can be further improved in terms of quality and safety.