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 Ciência da Computação pela Universidade de São Paulo (2011), mestrado em Ciências da Computação pela Universidade de São Paulo (2015) e doutorado em Ciências da Computação pela Universidade de São Paulo (2020). Como parte do doutorado, realizou estágio de pesquisa no exterior (BEPE-FAPESP) na Universidade de Tel Aviv. Atua principalmente nas áreas de teste de propriedades, estimação de parâmetros. (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) |
Este projeto descreve a pesquisa de pós-doutorado de Henrique Stagni, a ser desenvolvida sob a supervisão de Guilherme Mota, no Instituto de Matemática e Estatística da USP, no período de 01/06/2025 a 31/05/2028. A proposta está vinculada ao auxílio Regular 2024/13859-4, coordenado pelo supervisor, e contribuirá significativamente para o avanço de uma das linhas do projeto Temático 2023/0…
Este projeto tem como foco o estudo assintótico de estruturas combinatórias por meio de técnicas como o Lema de Regularidade de Szemerédi e limite de sequências convergentes de grafos, com especial ênfase na aplicação de tais técnicas no contexto de teste de propriedades e estimação de parâmetros. O projeto tem como ponto de partida trabalhos sobre teste de propriedades e estimação de par…
Este é o projeto de pesquisa de Henrique Stagni, estudante de doutorado na Universidade de São Paulo, para o programa Bolsa Estágio de Pesquisa no Exterior (BEPE) da FAPESP, a ser realizado na Universidade de Tel Aviv, sob a supervisão do Professor Asaf Shapira. O objetivo deste projeto é o estudo de teste de propriedade e estimação de parâmetros de estruturas combinatórias. Mais especifi…
| 1 | Bolsas no país contratadas |
| 1 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 3 | Todas as Bolsas |
| Processos vinculados | |