Orientação de mestrado & doutorado

Estou aceitando alunos de mestrado & doutorado

Um número limitado de pós-graduandos por ano. Você recebe uma direção de pesquisa concreta, orientação próxima, artigos em coautoria em veículos com revisão por pares e uma trilha clara do primeiro artigo até a defesa da tese — as publicações passam pelas revistas da plataforma ENIGMA e por veículos internacionais (IEEE Access, anais do MathAI & SmartCity).

Sua trilha: primeiro artigo em ~6 meses → apresentação em conferência (MathAI / SmartCity) → tese.

Direções

Cinco linhas de pesquisa

Lógica matemática & computabilidade

Computabilidade polinomial, semântica formal, teoremas de ponto fixo — os fundamentos sobre os quais meu próprio programa de pesquisa se apoia.

Verificação de IA & IA confiável

Métodos formais encontram os LLMs: arcabouços de verificação, checagem de citações e o que é preciso para confiar em um modelo em produção.

Sistemas multiagente & arquiteturas AGI

Arquiteturas cognitivas baseadas em tarefas, protocolos de coordenação e economias de agentes — a linha de trabalho do IEEE Access.

Cidades inteligentes & gêmeos digitais

Simulação urbana baseada em agentes, governança de gêmeos digitais e inteligência cívica.

Teoria de blockchain & métodos formais

Axiomatização de sistemas blockchain, registros verificáveis e arquiteturas de conhecimento em camadas.

Escreva-me uma carta curta: sua formação e qual direção mais empolga você.

Inscreva-se abaixo ↓ Candidate-se por e-mail →

Inscrição