Je travaille à l'intersection de la logique mathématique, de la vérification de l'IA et de la conception de systèmes à grande échelle. Ma thèse centrale : les contextes où l'IA prend désormais des décisions — villes, gouvernements, systèmes multi-agents autonomes — exigent une couche indépendante et vérifiable qui contrôle ce que l'IA produit, comme un auditeur contrôle les comptes d'une entreprise.
Ma formation relève de la logique mathématique et de la programmation sémantique — travaux sur les théorèmes de point fixe à la Gandy, le problème P = L et les représentations polynomialement calculables de systèmes formels. De là, je suis passé à l'infrastructure IA appliquée : des méthodes d'IA de confiance combinant grands modèles de langage et logique formelle, et le moteur de vérification ENIGMA Axiom qui les met en œuvre.
Aujourd'hui, je conseille des organisations qui construisent une IA à enjeux élevés — via IAIC FZCO à Dubaï — et j'organise des conférences (MathAI, SmartCity, événements IAIC) et des initiatives éditoriales qui rassemblent la communauté de recherche autour de l'IA de confiance.
P = L, analogues polynomiaux du théorème de point fixe de Gandy, représentations polynomialement calculables.
Combiner les LLM avec des systèmes de logique formelle ; contrôle formel + factuel des sorties de modèles (ENIGMA Axiom).
Villes virtuelles, jumeaux numériques et sociétés d'IA autonomes à l'échelle urbaine.
Architectures cognitives orientées tâches ; IA + registres vérifiables pour l'efficacité gouvernementale et l'intelligence civique.
Je conseille les organisations qui construisent une IA à enjeux élevés — facturation via IAIC FZCO, Dubaï.
Voir le conseil & réserver une consultation →