Possui graduação em Engenharia de Computação pela Universidade Federal do Rio Grande (2017) e Mestrado Em Engenharia de Computação (2020). Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente no seguinte tema: verificação de modelos; métodos formais; tolerância a falhas. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Anotações de Código são uma funcionalidade da linguagem de programação Java que permitem introduzir metadados em elementos de código, como métodos e classes. As anotações foram introduzidas na versão 5 e são usadas extensivamente por aplicações, principalmente em frameworks e APIs para aplicações corporativas. Porém, são poucos estudos que investigam o impacto das anotações na manutenção …
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID