IAE-AEL 3


PARTICIPANTES

Pesquisadores

♦ Carlos H N Lahoz

Dr. Carlos Lahoz é engenheiro de software e de sistemas no Instituto de Aeronáutica e Espaço-IAE.
Possui mestrado na área de garantia da qualidade do software (Instituto Nacional de Pesquisas Espaciais-INPE) e doutorado em segurança de software (Escola Politécnica da Universidade de São Paulo-POLI-USP).
Docente na Universidade Paulista-UNIP desde 2004 e pesquisador do CNPq/DT.

Extraído de Lattes/CNPQ


♦ Miriam C B Alves

Possui doutorado em computação aplicada pelo Instituto Nacional de Pesquisas Espaciais e pós-doutorado na área de verificação e validação de sistemas aeroespaciais na Naval Postgraduate School-NPS, Monterey, USA.
Pesquisadora no Instituto de Aeronáutica e Espaço pertencente ao Comando Geral de Tecnologia Aeroespacial, em São José dos Campos. Principal área de atuação: verificação e validação de sistemas críticos de tempo real. Experiência com o desenvolvimento de sistemas aeronáuticos e espaciais desde 1995.

Extraído de Lattes/CNPQ


♦ Martha A D Abdala

Possui graduação em tecnologia em processamento de dados pela Universidade de Taubaté e mestrado em computação aplicada pelo Instituto Nacional de Pesquisas Espaciais-INPE.
Tecnologista do Instituto de Aeronáutica e Espaço-IAE, do Departamento de Ciência e Tecnologia Aeroespacial (DCTA), atua principalmente em garantia da qualidade de software, verificação e validação de software e projetos de software embarcado de tempo real, na área espacial.

Extraído de Lattes/CNPQ


♦ Rovedy Aparecida Busquim e Silva

Possui graduação em ciência da computação pela Universidade do Vale do Paraíba e mestrado em computação aplicada pelo Instituto Nacional de Pesquisas Espaciais.
Atualmente é tecnologista do Centro Técnico Aeroespacial. Tem experiência na área de ciência da computação, com ênfase em software crítico de tempo real embarcado.

Extraído de Lattes/CNPQ


♦ Luciana Akemi Burgarelli

Possui graduação em ciência da computação pela Universidade do Vale do Paraíba, mestrado em computação aplicada pelo Instituto Nacional de Pesquisas Espaciais e doutorado em engenharia elétrica na área de sistemas digitais pela Escola Politécnica da Universidade de São Paulo.
Atualmente é tecnologista do Departamento de Ciência e Tecnologia Aeroespacial. Atua principalmente na área de engenharia de software com experiência em desenvolvimento.

Extraído de Lattes/CNPQ


♦ Nanci Naomi Arai

Possui mestrado em computação aplicada pelo Instituto Nacional de Pesquisas Espaciais e graduação em computação científica pela Universidade de Taubaté.
Atualmente é assistente de pesquisa no Instituto de Aeronáutica e Espaço do Departamento de Ciência e Tecnologia Aeroespacial. Tem experiência na área de ciência da computação, sistemas de tempo real e sistemas embarcados.

Extraído de Lattes/CNPQ


♦ Adilson de Jesus Teixeira

Possui graduação em engenharia elétrica/eletrônica pela Fundação Vale Paraíbano de Ensino, mestrado em engenharia eletrônica e computação pelo Instituto Tecnológico de Aeronáutica e doutorado em engenharia e tecnologia espaciais pelo Instituto Nacional de Pesquisas Espaciais.
Atualmente é Tecnologista Senior do DCTA. Tem experiência na área de engenharia eletrônica, controle de processos eletrônicos, técnicas de detecção e identificação de falhas e sistemas de controle de foguetes.

Extraído de Lattes/CNPQ


♦ Glauco da Silva

Mestre em ciência e tecnologia da computação pela Universidade Federal de Itajubá-UNIFEI. Possui graduação em computação científica pela Universidade de Taubaté, especialização em redes de computadores pela FASP, e especialização em informática empresarial pela Faculdade de Engenharia de Guaratinguetá-FEG/UNESP.
Aluno de doutorado do programa de pós-graduação em ciências e tecnologias espaciais do ITA, atuando na área de dependabilidade de software.

Extraído de Lattes/CNPQ