CV Lattes
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Bacharelado em Ciência da Computação pela Universidade de São Paulo (2007), mestrado em Ciências da Computação pela Universidade de São Paulo (2010) e doutorado em Ciencia da Computacao pela Universidade de São Paulo (2015). Atualmente é analista e designer de software na HP Inc. do Brasil (R&D). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: verificação formal, teste de software e programação Java. (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) |
Com a presença cada vez maior de sistemas computacionais e novas tecnologias no cotidiano das pessoas, garantir que eles não falhem e funcionem corretamente tornou-se algo de extrema importância. Além de indicar a qualidade do sistema, assegurar seu bom funcionamento é essencial para se evitar perdas, desde financeiras até de vidas.Uma das técnicas utilizadas para esta finalidade é a cham…
Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relação às suas concorrentes. Para ajudá-las a atingir esta meta, uma proposta promissora é o Desenvolvimento Baseado em Componentes (DBC), cuja idéia básic…
Este projeto BEPE é parte do trabalho de Doutorado financiado pela FAPESP (Processo: 2011/01928-1). O objetivo principal do trabalho de Doutorado é ajudar desenvolvedores de software a aplicar verificação formal na prática. Para isso, propomos uma abordagem que gera o código fonte correspondente às propriedades do sistema que devem ser verificadas para assegurar a qualidade do software. E…
| 2 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 3 | Todas as Bolsas |
| Processos vinculados | |