Thèse de Marie Miceli

30 Novembre 2023

Nouvelles les plus récentes

(Liste de toutes les brèves)

Entretien dans le Hors Série Science et Vie sur l'IA

(20 Octobre 2025)

Cela fait déjà quelques temps que j'ai le privilège de répondre, parfois, aux questions de journalistes au sujet des impacts de l'IA sur la société, grâce à la chaire IA...


Après Midi IA-ACT de la Chaire IA Digne de Confiance

(6 Octobre 2025)

Le 13 Octobre : après-midi de présentation et d'échanges sur l'IA Act ! **Écouter, questionner et comprendre l'IA-Act** - Un après-midi d'explications, d'éclairages théoriques et de retours d’expériences appliqués pour...


Table Ronde Science & Vie - Fête de la Science

(1 Octobre 2025)

La veille du lancement officiel de la fête de la science 2025, et dans les locaux du Ministère de l'Enseignement Supérieur, j'ai pu participer à un table ronde organisée par...


Formation à l'I.A. à l'Aérocampus

(4 Juillet 2025)

L'aérocampus de Nouvelle Aquitaine est un centre de formation pour les techniciens de l'aéronautique. C'est un campus à part, où l'industrie y est prépondérante. On y monte et démonte des...


Jury d'agrégation 2025

(23 Juin 2025)

Depuis 2022, la France s'est enfin dotée d'une agrégation externe d'informatique. Je me souviens (au collège) de mes cours d'informatique (sur des PC équipés de disques souples 5"1/4 et des...

C’est toujours un plaisir de venir voir les collègues du CRIL à Lens. Aujourd’hui, c’était pour la soutenance de thèse Marie Micelli, pour laquelle j’ai été nommé président de jury.

Sa thèse se situe dans le cadre de la logique propositionnelle, un domaine de recherche fondamental et ultra-concurentiel.

Son manuscrit part de la recherche de soft cores dans les formules logiques pour les étendre à la définition de Weighted Max#SAT, ayant des applications possibles dans le cadre de l’explicabilité de décision en I.A.

Couverture du manuscrit

C’est sincèrement un plaisir de voir de nouvelles thèses dans le domaine SAT, de croiser les doctorants aux JFPC tous les ans, puis de les voir soutenir avec succès ! Et c’est également toujours fascinant de voir comment les problèmes qui en sont issus ont toujours tellement d’implications dès lors que l’on est exigeant avec les outils I.A.

Merci encore pour l’invitation et bravo pour la présentation, un modèle du genre !

(Dernière Modification: 4 Novembre 2024 )
(english version)
(liste de toutes les brèves)