Encadrement master & doctorat

J'accueille des étudiants en master & doctorat

Un nombre limité d'étudiants chaque année. Vous obtenez une direction de recherche concrète, un encadrement rapproché, des articles cosignés dans des revues à comité de lecture et un parcours clair, du premier article à la soutenance de thèse — les publications passent par les revues de la plateforme ENIGMA et des supports internationaux (IEEE Access, actes de MathAI & SmartCity).

Votre parcours : premier article en ~6 mois → communication en conférence (MathAI / SmartCity) → thèse.

Axes

Cinq axes de recherche

Logique mathématique & calculabilité

Calculabilité polynomiale, sémantique formelle, théorèmes de point fixe — les fondements sur lesquels repose mon propre programme de recherche.

Vérification de l'IA & IA de confiance

Les méthodes formelles rencontrent les LLM : harnais de vérification, contrôle des citations, et ce qu'il faut pour faire confiance à un modèle en production.

Systèmes multi-agents & architectures AGI

Architectures cognitives fondées sur les tâches, protocoles de coordination et économies d'agents — l'axe de recherche publié dans IEEE Access.

Villes intelligentes & jumeaux numériques

Simulation urbaine à base d'agents, gouvernance des jumeaux numériques et intelligence civique.

Théorie de la blockchain & méthodes formelles

Axiomatisation des systèmes blockchain, registres vérifiables et architectures de connaissances en couches.

Écrivez-moi une courte lettre : votre parcours et la direction qui vous enthousiasme.

Postulez ci-dessous ↓ Candidater par e-mail →

Candidature