Hi! I am a Computer Science Master's student at the University of São Paulo (USP), holding a Bachelor's degree from the Federal University of Ceará (UFC). Currently, I am a member of the Software Systems Group at IME/USP.
Olá! Sou estudante de Mestrado em Ciência da Computação na Universidade de São Paulo (USP) e bacharel pela Universidade Federal do Ceará (UFC). Atualmente, integro o Grupo de Sistemas de Software do IME/USP.
My research interests encompass Artificial Intelligence, Machine Learning, Computer Vision, and Combinatorial Optimization. My work focuses on designing intelligent systems and solving hard combinatorial problems.
Meus interesses de pesquisa abrangem Inteligência Artificial, Aprendizado de Máquina, Visão Computacional e Otimização Combinatória. Meu trabalho tem foco no design de sistemas inteligentes e na resolução de problemas combinatórios complexos.
Research project focused on the development of a programming language with a parallel and distributed approach for teaching and research in HPC.
Projeto de pesquisa focado no desenvolvimento de uma linguagem de programação com abordagem paralela e distribuída para ensino e pesquisa em HPC e compiladores.
Application of deep neural networks (LSTM) to identify atypical patterns and evidence of manipulation in financial time series.
Aplicação de redes neurais profundas (LSTM) para identificação de padrões atípicos e indícios de manipulação em séries temporais financeiras.
Investigation of models based on supervised and unsupervised machine learning approaches for solving NP-Hard combinatorial problems.
Investigação de modelos baseados em aprendizado de máquina supervisionado e não supervisionado para resolução de problemas combinatórios NP-Difíceis.
Teaching assistant focusing on classic techniques (divide and conquer, dynamic programming) and complexity theory.
Monitoria focada em técnicas clássicas (divisão e conquista, programação dinâmica) e teoria da complexidade.
Support to students in problem formalization, propositional logic, predicate logic, and proof methods.
Apoio aos alunos na formalização de problemas, lógica proposicional, lógica de predicados e métodos de prova.
Academic Initiation Scholar assisting in the learning of set theory, counting principles, and proofs.
Bolsista de Iniciação Acadêmica auxiliando no aprendizado de teoria dos conjuntos, princípios de contagem e demonstrações.
Technological development of statistical models for automation and control variable suggestions in industrial production processes.
Desenvolvimento tecnológico de modelos estatísticos para automação e sugestão de variáveis de controle em processos industriais de produção.
Extension project aimed at the modernization of public information systems and the institutionalization of data-driven decision making.
Projeto de extensão voltado à modernização de sistemas de informação públicos e institucionalização da tomada de decisão baseada em dados.