Software for Aerospace Application
Research Group CNPq
PARTICIPANTS
Researchers
♦ Carlos H N Lahoz
Dr. Carlos Lahoz is a system and software engineer at Instituto de Aeronáutica e Espaço-IAE.
His master degree was in software quality assurance (Instituto Nacional de Pesquisas Espaciais-INPE) and doctorate degree was in
software security (Escola Politécnica da Universidade de São Paulo-POLI-USP).
Professor at Universidade Paulista-UNIP since 2004 and researcher of CNPq/DT.
Extracted from Lattes/CNPQ
♦ Miriam C B Alves
Doctorate degree in applied computing by Instituto Nacional de Pesquisas Espaciais-INPE and pos-doctorate in verification and
validation of aerospace systems in Naval Postgraduate School-NPS, Monterey, USA.
Researcher at Instituto de Aeronáutica e Espaço-IAE, belonging to the Comando Geral de Tecnologia Aeroespacial in São José dos
Campos. Main area of operations: verification and validation of critical real-time systems. Experience with the development of
aeronautical and space systems since 1995.
Extracted from Lattes/CNPQ
♦ Martha A D Abdala
Graduated in technology in data processing by Universidade de Taubaté and master degreee in applied computing by Instituto Nacional
de Pesquisas Espaciais-INPE.
Technologist at Instituto de Aeronáutica e Espaço-IAE, of the Departamento de Ciência e Tecnologia Aeroespacial-DCTA, operates
mainly in software quality assurance, verification and validation of software and projects of real-time embedded software, in
the spatial area.
Extracted from Lattes/CNPQ
♦ Rovedy Aparecida Busquim e Silva
Graduated in computer science by Universidade do Vale do Paraíba e master degree in aplied computing by Instituto Nacional de
Pesquisas Espaciais.
Currently, technologist from Centro Técnico Aeroespacial. Has experience in the computer science area, with focus in real-time
embedded critical software.
Extraído de Lattes/CNPQ
♦ Luciana Akemi Burgarelli
Graduated in computer science by Universidade do Vale do Paraíba, master degree in applied computing by Instituto Nacional de
Pesquisas Espaciais and doctorate degree in electric engineering with focus in digital systems by Escola Politécnica da
Universidade de São Paulo.
Currently, technologist from Departamento de Ciência e Tecnologia Aeroespacial. Has experience in the area of computer science,
with focus in software development, acting mainly in the area of software engineering.
Extraído de Lattes/CNPQ
♦ Nanci Naomi Arai
Master degree in applied computing by Instituto Nacional de Pesquisas Espaciais and graduated in cientific computing by
Universidade de Taubaté.
Currently, researcher assistent at Instituto de Aeronáutica e Espaço of Departamento de Ciência e Tecnologia Aeroespacial.
Has experience in the area of computer science, with focus in real-time sistems and embedded sistem.
Extraído de Lattes/CNPQ
♦ Adilson de Jesus Teixeira
Graduated in electric/electronic engineering by Fundação Vale Paraíbano de Ensino, master degree in electronic and computing
engineering by Instituto Tecnológico de Aeronáutica e doctorate degree in engenharia e tecnologia espaciais pelo Instituto
Nacional de Pesquisas Espaciais.
Currently, senior technologist from DCTA. Has experience in the area of electonic engineering, with focus in electonic process
control, detection techniques and failure identification and rocket control sistems.
Extraído de Lattes/CNPQ
♦ Glauco da Silva
Master degree in science and technology of computing by Universidade Federal de Itajubá-UNIFEI. Graduated in scientific
computing by Universidade de Taubaté, pos-graduation in computer network by FASP, and post-graduation in enterprise computing
by Faculdade de Engenharia de Guaratinguetá-FEG/UNESP.
Doctorate student of the post-graduation program in science and space technologies from ITA, acting in the area of software
dependability.
Extraído de Lattes/CNPQ