Ana Maria Ambrosio

Graduated in Computer Science from Federal University of São Carlos (1984), master (1988) and doctorate (2005) in Applied Computing from National Institute for Space Research (INPE). She acted as technologist at the National Institute for Space Research (1985-2017). She participated in the following space missions: Brazilian Complete Space Mission (MECB), French-Brazilian Microsatellite (FBM) and China-Brazil Earth Resources Satellites (CBERS). Since 2008 she is researcher in Postgraduation Course in Space Engineering and Technology. Coordinated the concentration area in Engineering and Management of Space Systems (2012-2014 ) and was Head of the Space Engineering and Technology Posgraduation Course at INPE (2016-2017). Has experience in Aerospace Engineering area, with emphasis on Satellite Simulation and model-based system engineering. Research Areas of interest: verification and validation of space systems, model based testing modelling to support requirements specification for software and systems. Author fo COFI methodology, which has being aplied in industry to automobilist software verification.

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade Federal de São Carlos (1984), mestrado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (1988) e doutorado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (2005). Atualmente é pesquisador colaborador do Instituto Nacional de Pesquisas Espaciais. Tem experiência na área de Engenharia Aeroespacial, com ênfase em Simulação de satélites, atuando principalmente em modelagem no desenvolvimento do simulador da missão espacial CBERS. Area de pesquisa com foco em verificação e validação sistemas espaciais, teste baseado em modelos. Autora da metodologia COFI, a qual, como spin off, foi adaptada a indústria automobilística .