João Martins

Joao Martins 250px

Author of: "Moving Safely Towards IP Protocol for Signalling Equipment"
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.