João Martins


After receiving the MSc. Degree in Informatics from University of Minho, driven by the interest in formal methods and the development of safety-critical systems I entered in the railway industry. I first started performing verification and validation activities and then moved to the development of software systems. As the software development leader of EFACEC signalling products, I had already participated in the commissioning of several international projects.