PhD Defense of Marie Miceli

30 November 2023

Most recent news

(list of all news)

Weekly Eco Interview on TV7

(20 February 2025)

Last Wednesday, I had the opportunity to answer questions from Stéphanie Lacazze, from Sud Ouest, as part of [Hebdo Éco](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) on TV7. It’s a local TV channel belonging to the...


Launch of the Institutional Diploma in AI

(13 February 2025)

The institutional diploma "Experts in AI" has just been established, right after the AI summit in Paris (ahead of schedule!). This program was proposed thanks to the impetus of the...


Page on the AI Convention

(09 February 2025)

After months of preliminary work, we are officially launching the recruitment of students for the student citizen convention that will take place at the Bordeaux Métropole premises on the weekend...


AI in Initial Training

(30 January 2025)

AI and Training: From University to the Professional World With Juliette MATTIOLI, Expert Fellow in AI at Thalès, we had the pleasure of presenting, in two hours, the challenges of...


AI & Training

(24 January 2025)

As part of a series of meetings and conferences organized by France Travail (with more than 400 visitors in total), at the premises of Bordeaux Métropole, I had the pleasure,...

It’s always a pleasure to visit colleagues at CRIL in Lens. Today, it was for the PhD defense of Marie Miceli, for which I was appointed jury president.

Her thesis is in propositional logic, a fundamental and highly competitive research area.

Her manuscript starts with the search for soft cores in logical formulas to extend them to the definition of Weighted Max#SAT, with possible applications in the context of decision explainability in AI.

Manuscript cover

It’s sincerely a pleasure to see new theses in the SAT domain, to meet PhD students at JFPC every year, and then to see them successfully defend their work! It’s also always fascinating to see how the problems arising from this field have so many implications when one is demanding with AI tools.

Thank you again for the invitation and congratulations on the presentation, a model of its kind!

(Last Modified date: 04 November 2024)
(version française)
This page was translated using AI tools (Deepl, GPT, ...)
(list of all news)