CV Lattes
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Institutional affiliation from the last research proposal) Birthplace: Brazil
She graduated in Bachelor of Computer Science at the University of São Paulo ( 2007), she has a master's degree in Computer Science from the University of São Paulo ( 2010) and she is a Ph.D. in Computer Science from the University of São Paulo (2015) . She is currently a software engineer at HP Inc. of Brazil (R & D). She has experiece in computer science , with emphasis on Software Engineering, acting on the following topics: formal verification , software test and Java programming. (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 task of guaranteeing that computational systems do not fail and work correctly has become extremely important with the growing presence of new technologies in people's lives. Therefore, it is essential to ensure that such systems work properly to confirm their high-quality and to avoid financial and even life losses.One of the techniques used to this purpose is called programs formal …
This Research Internship Abroad (BEPE) project is part of the Ph.D work under the São Paulo Research Foundation (FAPESP) process: 2011/01928-1. The main objective of the Ph.D work is to help software developers in applying formal verification in practice. To do this, we propose an approach that generates the corresponding source code of the system properties that should be verified to ass…
| 2 / 2 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 3 / 3 | All Scholarships |
| Associated processes | |