CV Lattes
Ministério da Defesa (Brasil). Departamento de Ciência e Tecnologia Aeroespacial (DCTA). Instituto de Aeronáutica e Espaço (IAE) (Institutional affiliation from the last research proposal) Birthplace: Brazil
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. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
The need for superior specification and verification approaches for mission critical software systems and tools has grown exponentially over the last few years. As systems developed by industry and the government grow larger and more complex, the developer and client must have complete confidence that the design produced is correct, and that it meets formal development and verification st…
| 1 / 1 | Completed scholarships abroad |
| Associated processes | |