Paulo Diego Barbosa da Silva

BS in System Information from (Centro universitário Maurício de Nassau - Recife (2011)) and MSc at Mechanical Engineering from Instituto Tecnológico de Aeronáutica (2017). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: test automation, scrum agile method, interdisciplinary problem based learning, model checking and model based-testing.

Mestre em Ciências pelo Programa de Engenharia Mecânica Aeronáutica, com ênfase em Sistemas Aeroespaciais e Mecatrônica pelo Instituto Tecnológico de Aeronáutica - ITA (2017). Possui graduação em Bacharelado em Sistemas de Informação pela Faculdade Maurício de Nassau, Recife (2011). Tem curso de extensão em engenharia de teste de software pela Universidade Federal de Recife, Cin-UFPE (2010). Trabalha em projetos de R&D voltados para soluções em telecomunicação, Ericsson Billing, atuando em engenharia de testes funcionais e não funcionais. Trabalhou no Instituto Nacional de Pesquisas Espaciais (INPE) como bolsista no projeto de desenvolvimento tecnológico na Divisão de Sistemas Espaciais da Coordenação Geral de Engenharia de Tecnologia Espacial (DSE/ETE), explorando e utilizando metodologias e técnicas de verificação e validação para sistema e software espacial no contexto do Simulador Operacional dos Satélites CBERS 3&4. Atuou no projeto para readaptação do Railroad Signaling Software (sistema crítico) da Vale do Rio Doce, em uma parceria entre as empresas In Forma Software e Modular Mining Systems do Brasil. Possui experiência no clico de Engenharia de Software, com ênfase no processo de Verificação e Validação de sistemas.