graduation at Engenharia Elétrica from Universidade Federal do Ceará (1996), master's at Electric Engineering from Universidade Federal do Ceará (1999) and doctorate at Computer Science from Instituto Nacional de Pesquisas Espaciais (2011). Has experience in Computer Science, acting on the following subjects: software testing, model checking, teste de software, statecharts and hyper-heuristics.
possui Pós-Doutorado em Ciência da Computação pela University of Nottingham, Inglaterra, Reino Unido (2019), doutorado pelo programa de Pós-Graduação em Computação Aplicada (2011) do Instituto Nacional de Pesquisas Espaciais (INPE) em São José dos Campos/SP, mestrado em Engenharia Elétrica pela Universidade Federal do Ceará (1999) e graduação em Engenharia Elétrica pela Universidade Federal do Ceará (1996). Ocupa, também, o cargo de tecnologista sênior no INPE. Trabalhou, por mais de 20 anos, em desenvolvimento de satélites científicos e projetos de balões estratosféricos do INPE. Realizou projeto de pesquisa em Verificação Formal de Sistemas Probabilísticos na Concordia University, Montreal, Canadá (2015). Tem experiência nas áreas de Engenharia e Ciência da Computação com ênfase em Aprendizado de Máquina, Aprendizado Profundo, Otimização, Verificação e Validação (Teste, Verificação Formal, Inspeção) de Software para Sistemas Críticos Embarcados, Desenvolvimento de Software para Aplicações Espaciais, Programação Paralela/Distribuída, e Análise de Dados. Tópicos de pesquisa de interesse incluem Inteligência Artificial, Aprendizado de Máquina, Aprendizado Profundo, Otimização de Sistemas/Software (Hiper-Heurísticas, Meta-Heurísticas, Algoritmos Evolutivos), Teste de Software, Sensoriamento Remoto e Sistemas Aeroespaciais (Satélite, VANT). É professor permanente do programa de Pós-Graduação em Computação Aplicada (CAP) do INPE, consultor ad-hoc da Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) e da Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco (FACEPE).
