André Passos, 28 anos, licenciado em Engenharia Informática pela Universidade da Beira Interior e Mestre em Computação e Sistemas Inteligentes na mesma é um dos membros fundadores desta equipa. Ao longo dos três anos de experiência trabalhou em empresas como a Critical Software, Outsystems e Grupo os Mosqueteiros.
Alexandre Madeira, 31 anos, mestre em Matemática pela Universidade de Aveiro. Atualmente a desenvolver doutoramento em Ciências da Computação na Universidade do Minho e na Universidade de Aveiro, no contexto empresarial da Critical Software. O seu campo de investigação foca-se na área dos métodos formais para o desenvolvimento de software, nomeadamente, na definição de lógicas de semântica matemática, para a especificação e análise de requisitos.
Filipe Pedrosa, 29 anos, licenciado em Engenharia de Redes e Sistemas Informáticos, pela Faculdade de Ciências da Universidade do Porto. Ao longo de seis anos de experiência profissional ao serviço da Critical Software teve a oportunidade de trabalhar com os gigantes europeus na área de sistemas críticos para o espaço como são a EADS Astrium e Thales Alenia Space participando em vários projetos de desenvolvimento e validação de sistemas críticos. Conta, nomeadamente, com participações nas missões da ESA Herschel/Planck, AlphaBus e Sentinel-2 na âmbito das quais chegou inclusivamente a permanecer vários meses na França e Alemanha em colaboração com as equipas de desenvolvimento destas missões.
Joaquim Tojal, 27 anos, mestre em Engenharia Informática - Computação e Sistemas Inteligentes, pela Universidade da Beira Interior. Com dois anos de experiência na Critical Software, participou já em projetos na área de aeronáutica, espaço, defesa e em vários projetos de investigação e verificação de sistemas críticos.
Uma equipa que se completa com José Miguel Faria, 32 anos, licenciado Engenharia Mecânica, mestre em Engenharia Eletrotécnica e de Computadores e doutorando em Engenharia Informática. Já trabalhou num centro internacional de investigação de ciência de fotões (ESRF, França) e foi investigador nas universidades de Ghent (Bélgica) e Coimbra. Em 2007 juntou-se à Critical Software, tendo participado em vários projetos de investigação e verificação de sistemas críticos. É co-autor do livro “Formal Development of a Network-Centric RTOS” (ISBN 978-1-4419-9735-7).
[Voltar]