Mestre em Ciências pelo programa de Modelagem de Sistemas Complexos (EACH-USP), concluído em 2018. Possui graduação em Matemática Aplicada e Computacional com Habilitação em Mecatrônica e Sistemas Mecânicos pela Universidade de São Paulo (2014). Tem experiência nas áreas de Geometria Computacional, Robótica, Mecatrônica e Automação, com ênfase em Lógica com Probabilidades. (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) |
Desenvolver as habilidades de escrita de estudantes - e das pessoas em geral - sempre foi um grande desafio. Além de ser naturalmente difícil, pois mobiliza diversas competências do indivíduo, a redação depende de exercícios práticos para evoluir. A prática textual, por sua vez, tem pouco efeito quando não é seguida por uma avaliação/orientação adequada. Uma devolutiva estruturada e clara…
O objetivo do trabalho é investigar o fenômeno de transição de fase no problema de satisfazibilidade probabilística (PSAT), usando um novo algoritmo, recentemente desenvolvido pelo orientador. Pretende-se investigar problemas com cláusulas contendo apenas dois literais (2-PSAT).O foco no problema 2-PSAT se deve ao fato do fenômeno de transição de fase ser bem entendido para problemas de s…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes