Trabalho na interseção entre lógica matemática, verificação de IA e design de sistemas em larga escala. Minha tese central: os contextos em que a IA agora toma decisões — cidades, governos, sistemas autônomos multiagente — precisam de uma camada independente e verificável que confira o que a IA produz, assim como um auditor confere as contas de uma empresa.
Minha formação é em lógica matemática e programação semântica — trabalhos sobre teoremas de ponto fixo no estilo de Gandy, o problema P = L e representações polinomialmente computáveis de sistemas formais. Dali passei à infraestrutura de IA aplicada: métodos de IA confiável que combinam grandes modelos de linguagem com lógica formal, e o motor de verificação ENIGMA Axiom que coloca esses métodos em prática.
Hoje assessoro organizações que constroem IA de alto risco — por meio da IAIC FZCO em Dubai — e organizo conferências (MathAI, SmartCity, eventos IAIC) e iniciativas editoriais que reúnem a comunidade de pesquisa em torno da IA confiável.
P = L, análogos polinomiais do teorema do ponto fixo de Gandy, representações polinomialmente computáveis.
Combinação de LLMs com sistemas de lógica formal; checagem formal + factual das saídas dos modelos (ENIGMA Axiom).
Cidades virtuais, gêmeos digitais e sociedades autônomas de IA em escala urbana.
Arquiteturas cognitivas baseadas em tarefas; IA + registros verificáveis para eficiência governamental e inteligência cívica.
Assessoro organizações que constroem IA de alto risco — faturado pela IAIC FZCO, Dubai.
Ver consultoria & agendar uma sessão →