David APPADOURAI

Professeur assistant | Doctorant
Image
David APPADOURAI

Biographie

David Appadourai est enseignant-chercheur spécialisé en épistémologie de l’intelligence artificielle, science des données et ingénierie du machine learning. Il développe une approche épistémologique des systèmes d’IA générative, à l’intersection de la philosophie des sciences et de l’intelligence artificielle.

Ses travaux portent notamment sur le raisonnement mathématique des modèles, en particulier la démonstration automatique de théorèmes (neural theorem proving), ainsi que sur les différences épistémologiques entre les preuves produites par des humains et celles produites par machine.

En parallèle de ses activités d’enseignement et de recherche, il conçoit et déploie des systèmes d’intelligence artificielle en production, notamment des pipelines LLM, des systèmes RAG, des agents reposant sur le Model Context Protocol (MCP) et des applications full-stack.

Il est membre de l’Association for Symbolic Logic (ASL), participe régulièrement aux séminaires de l’Observatoire de l’IA de l’Université Paris 1 Panthéon-Sorbonne et est membre du groupe de lecture « Réalité virtuelle et émotions » (RéVE) de l’Institut de recherche juridique de la Sorbonne (IRJS - UR 4150).

 

Formation & Diplômes

AnnéeDiplôme / établissement
En coursDoctorat en philosophie des sciences - Università degli Studi di Roma « Tor Vergata ». Direction : Professeur Gabriele Pulcini. Thèse : approche épistémologique du raisonnement mathématique de l’IA, centrée sur la démonstration automatique de théorèmes et les différences épistémologiques entre preuves humaines et preuves produites par machine.
 Master 2 Logique et philosophie des sciences (LOPHISC) - Université Paris 1 Panthéon-Sorbonne. Mémoire de M2 : « Évaluation de la créativité computationnelle pour les modèles de génération musicale symbolique », dirigé par le Professeur Marco Panza, directeur de recherche au CNRS (16/20). Mémoire de M1 : « Une étude de la théorie des ensembles à partir des tentatives de résolution de l’hypothèse du continu », dirigé par Jean Fichot, maître de conférences à l’IHPST (17/20).
 Licence de mathématiques et informatique appliquées aux sciences humaines et sociales (MIASHS), spécialité économie - Université de Paris (aujourd’hui Université Paris Cité).
 Licence de philosophie, parcours logique et philosophie - Université Paris 1 Panthéon-Sorbonne.

Expérience professionnelle

Enseignement et responsabilités académiques

AnnéeFonction
2025 - aujourd’huiaivancity School for Technology, Business & Society (CDI depuis septembre 2026) - Épistémologie de l’intelligence artificielle : les limites des modèles actuels ; éthique de l’IA et robustesse des systèmes apprenants ; interprétabilité des modèles et AI Safety ; équité et Fair ML ; environnement Linux (MSc Data Engineering & Cloud Computing) ; Coding for AI & Data Science ; workshop Model Context Protocol (MCP) - architectures d’agents et intégrations. Cours dispensés en français et en anglais (Programme Grande École et MSc).
2026 - aujourd’huiChargé de travaux dirigés - Université Paris 1 Panthéon-Sorbonne. Collège de l’IA : programmation, algorithmique et logique.
2024 - 2025Chargé de travaux dirigés - Université de Tours. Science des données : statistiques et data mining, Master 2 Humanités numériques.
2024Enseignant - École Pratique des Hautes Études (EPHE-PSL). Licence Sciences d’un monde durable : introduction à la programmation musicale (Sonic Pi).

Responsabilités chez aivancity

  • Responsable du MSc Applied Artificial Intelligence Online - conception du programme, coordination des intervenants et montage des sept unités d’enseignement.
  • Co-encadrement de projets de recherche PGE4/PGE5 sur l’explicabilité des agents IA.

Entrepreneuriat et ingénierie

AnnéeFonction
2021 - aujourd’huiConsultant technique - Parisian Spirit / TV STORE, Cachan. Réseau de streaming vidéo NDI déployé sur 80 nœuds Raspberry Pi (bornes photobooth, murs vidéo, installations d’IA interactives) pour un spécialiste européen de l’audiovisuel événementiel.
2020 - aujourd’huiPrésident-fondateur et responsable technique - Association Vidyalaya, Paris. Enseignement du français langue étrangère (préparation au DELF) auprès de personnes migrantes et soutien scolaire en quartiers populaires. Conception de toute l’infrastructure numérique : Vidyia (tuteur IA conversationnel - RAG sur le programme national, correction de copies par vision, synthèse vocale), portail élève Next.js et générateur de fiches et d’épreuves DELF.
2023 - aujourd’huiCo-fondateur - Maison ANTIK. Marque de rhum premium : site Next.js/Vercel, pipeline SEO automatisé et agent opérationnel autonome fondé sur un LLM, gérant la relation client, la facturation et les automatisations métier.
2021 - aujourd’huiFondateur et développeur - Aleph Music Publishing (SAS), Villejuif. Édition musicale : automatisation des tâches éditoriales de catalogue et application permettant aux artistes indépendants d’être leurs propres éditeurs.
2015 - 2024Assistant traducteur et développeur technique - T.I.A.S.C.I, Paris. Traduction de documents officiels pour un bureau de traducteurs assermentés ; conception d’un assistant de traduction automatique combinant vision par ordinateur et pipeline d’API LLM.

Publications

Publication

  • 2025 - « L’avatar : esquisse épistémologique », dans Groupe de recherche « Réalité virtuelle et Émotions » (RéVE), document de synthèse, Université Paris 1 Panthéon-Sorbonne. HAL : hal-05081325.

Manuscrits en préparation

  • Un critère de bidirectionnalité pour la preuve vérifiée par machine (philosophie de la pratique mathématique) et deux études empiriques associées, auditant les preuves Lean acceptées par le noyau et produites par les démonstrateurs neuronaux de l’état de l’art.

Communications scientifiques

  • Juillet 2026 - Logic Colloquium 2026 (ASL European Summer Meeting, FLoC), Swansea (Royaume-Uni) : « Localising overgeneration: a three-strata decomposition of formal proof ». Communication présentée.
  • Septembre 2026 - Human-Oriented Automated Reasoning (HAR 2026), Paris. Communication présentée.
  • Novembre 2026 - Trends in Logic XXVI, Sendai (Japon). Communication acceptée.
  • 2026 - Conference on Artificial Intelligence and Theorem Proving (AITP 2026). Abstract étendu soumis.
  • Septembre 2024 - Université Paris 1 Panthéon-Sorbonne, colloque Transferts synesthésiques, mathématiques et mémoriels : « Le transfer learning dans la génération musicale fondée sur des modèles de diffusion ».
  • Juillet 2024 - Una Europa Summer School on Artificial Intelligence & Creativity, CEUB, Université de Bologne.

Traduction

  • 2022 - 2023 - Traduction française de Introduction to Proof Theory du Professeur Paolo Mancosu (Université de Californie, Berkeley), 588 pages - IHPST, Paris.

Consulter aussi