Miriam Celia Bergue Alves

Possui doutorado em Computação Aplicada pelo Instituto Nacional de Pesquisas Espaciais (1999) 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. Atualmente, atua mais intensamente em sistemas de missão crítica no segmento espacial e de solo.

Received the Doctoral degree in applied computer science from the National Institute for Space Research (INPE), Sao Jose dos Campos, Brazil, in 1999. She was a Post-Doctoral Researcher with the Department of Computer Science, Naval Postgraduate School (NPS), Monterey, California, from Sept. 2010 to Aug. 2011. She is a Government Researcher with the Institute of Aeronautics and Space (IAE) at the Department of Aerospace Science and Technology (DCTA), Sao Jose dos Campos, Brazil. Her research interests include modeling, design, reliability and formal V&V of mission-critical systems. She has been involved in the development of space and aeronautical software systems since 1995 and currently leads the team responsible for flight software development of the Brazilian Satellite Launcher Program.