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. (Source: Lattes Curriculum)