CV Lattes
Google Scholar Citations
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
Tenho interesses de pesquisa em Engenharia de Software, Inteligência Artificial, Aprendizado de Máquina, Design de Linguagens de Programação, Verificação e Métodos Formais, Sistemas Multiagentes e também no já remoto e esquecido campo da Amplificação de Intelecto (Intellect Augmentation) e da Descoberta Científica Computacional (Computational Scientific Discovery). No momento, tento alavancar todo meu perfil de cientista na indústria, considero-me um cientista industrial. (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) |
As técnicas atuais para teste e verificação formal de sistemas ou programas são desenvolvidas e aplicadas a partir de modelos mais abstratos desses elementos. Cada um desses modelos descreve a semântica dos sistemas ou programas, onde são abstraídos os detalhes e representados apenas os elementos essenciais às técnicas a serem aplicadas e analisadas. Alguns desses modelos semânticos utili…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |