Trabajo en la intersección de la lógica matemática, la verificación de IA y el diseño de sistemas a gran escala. Mi tesis central: los entornos donde la IA ya toma decisiones — ciudades, gobiernos, sistemas autónomos multiagente — necesitan una capa independiente y verificable que compruebe lo que la IA produce, igual que un auditor comprueba las cuentas de una empresa.
Mi formación es en lógica matemática y programación semántica — trabajo sobre teoremas de punto fijo al estilo de Gandy, el problema P = L y representaciones polinomialmente computables de sistemas formales. Desde ahí pasé a la infraestructura de IA aplicada: métodos de IA confiable que combinan grandes modelos de lenguaje con lógica formal, y el motor de verificación ENIGMA Axiom que pone esos métodos en práctica.
Hoy asesoro a organizaciones que construyen IA de alto riesgo — a través de IAIC FZCO en Dubái — y organizo conferencias (MathAI, SmartCity, eventos de IAIC) e iniciativas editoriales que reúnen a la comunidad investigadora en torno a la IA confiable.
P = L, análogos polinomiales del teorema de punto fijo de Gandy, representaciones polinomialmente computables.
Combinación de LLMs con sistemas de lógica formal; comprobación formal + factual de las salidas de los modelos (ENIGMA Axiom).
Ciudades virtuales, gemelos digitales y sociedades autónomas de IA a escala urbana.
Arquitecturas cognitivas basadas en tareas; IA + registros verificables para la eficiencia gubernamental y la inteligencia cívica.
Asesoro a organizaciones que construyen IA de alto riesgo — facturado a través de IAIC FZCO, Dubái.
Ver asesoría & reservar una consulta →