Aberto a pesquisa & docência • UFRRJ / CAPES

Otimização, multigrafos e computação científica

Axl Silva de Andrade

Mestrando em Modelagem Matemática e Computacional pela UFRRJ, pesquisando otimização multiobjetivo e detecção de redes complexas em multigrafos.

Ver projetos CV (PDF)
G = (V:16, E:28)
2025 - Atual Mestrado

Modelagem Matemática e Computacional, UFRRJ (Bolsista CAPES).

2020 - 2025 Matemática

Licenciatura pela UFRRJ, com TCC em séries de Fourier e notas musicais.

2021 - 2023 Gestão de TI

Graduação tecnológica pela Universidade Estácio de Sá.

2024 - Atual Física

Licenciatura em andamento pela UNESA.

Pesquisa e atuação

Interesses que conectam matemática aplicada, dados e ensino

Tema de pesquisa

Otimização Multiobjetivo em Multigrafos: uma análise comparativa entre métodos exatos e heurísticas para análise de redes complexas.

Otimização Multiobjetivo Correlation Clustering Multigrafos Dados Abertos

Perfil técnico

Experiência sólida com Python, Java, LaTeX, modelagem computacional, grafos/redes complexas e algoritmos genéticos, aliada a atuação docente e monitorias acadêmicas.

Stack e repertório

Habilidades alinhadas ao Lattes

Matemática Modelagem Computacional Redes e Grafos Algoritmos Genéticos Python Java LaTeX Docência

Laboratórios interativos & software

Modelos matemáticos e sistemas executáveis

PARETO_FRONTIER_LAB Simulador Interativo

Simulador de Decisão Multiobjetivo & Fronteira de Pareto

Explore soluções não-dominadas em tempo real: equilibre objetivos conflitantes (inclusão estudantil vs. orçamento operacional) e visualize pontos dominados, ótimos de Pareto e inviáveis diretamente no gráfico interativo.

min F(x) = [ -f₁(x) (Cobertura), f₂(x) (Custo) ]  |  x ∈ Ω
FOURIER_SYNTH

MusicaPython

Síntese sonora harmônica registrada no Lattes: construa timbres musicais via somas parciais de senos e cossenos.

f(t) = Σ aₙ sin(2π n f₀ t)
STEM_LLM_TUTOR

Math AI Tutor

Assistente educacional de Matemática e Física com resolução guiada passo a passo em Python e Streamlit.

SYMBOLIC_GPS

GPS Theorem Prover

Motor de dedução simbólica auditável para lógica proposicional e propriedades de limites reais.

STATIC_ENGINE

Terminhooo

Minijogos cooperativos de dedução de palavras em português com arquitetura 100% estática.

Projetos em destaque

Experimentos com IA educacional, áudio, redes, otimização e provas formais

Explorar a vitrine