Fale Conosco
:: Terça-feira, 26 de Setembro de 2017
A A A







Valid XHTML 1.0 Strict  CSS válido!

Recursos Humanos

Valdivino Alexandre de Santiago Júnior

Pesquisador

Prédio: CTE - LAC
Sala: 09
Ramal: 7880
E-mail: valdivino.santiago@inpe.br
Lattes: http://lattes.cnpq.br/5039690360728170

Página pessoal











Valdivino Alexandre de Santiago Júnior é doutor pelo curso de Pós-Graduação em Computação Aplicada (2011) do Instituto Nacional de Pesquisas Espaciais (INPE), em São José dos Campos - SP. Possui mestrado em Engenharia Eletrica 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 senior no INPE. Trabalha em desenvolvimento de satélites científicos e projetos de balões estratosféricos desde 1995. Tem experiência nas áreas de Engenharia e Ciência da Computação com ênfase em Desenvolvimento de Software para Aplicações Espaciais, Verificação e Validação de Software para Sistemas Críticos Embarcados, Programação Paralela/Distribuída e Sistemas de Aquisição de Dados. Tópicos de pesquisa de interesse incluem Testes de Software Baseados em Modelos, Verificação Formal (Model Checking), Processamento em Linguagem Natural, e Automatização de processos relacionados à Verificação e Validação de Software. É consultor ad-hoc da Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco (FACEPE).
Voltar para Recursos Humanos