PhD Defense of Marie Miceli

30 November 2023

Most recent news

(list of all news)

Interview for Curieux.live!

(24 December 2025)

I had the chance to answer questions from Florence Heimburger for the magazine [curieux.live!](https://www.curieux.live/), a site aimed at science-curious teenagers. The starting point was to understand why we should—or should...


Seminar on Competitions at Dagstuhl

(29 October 2025)

It had been quite a while since I last had the pleasure of returning to Dagstuhl Castle. This week is also a return to an old topic: [competitions and empirical...


Interview in the Science et Vie Special Issue on AI

(20 October 2025)

I've had the privilege for some time of occasionally answering journalists' questions about the impacts of AI on society, thanks to the Trustworthy AI Chair which has increased the visibility...


AI Act Afternoon by the Trustworthy AI Chair

(06 October 2025)

October 13th: afternoon of presentation and exchanges on the AI Act! **Listen, question and understand the AI Act** - An afternoon of explanations, theoretical insights and applied experience feedback to...


Science & Vie Roundtable — Fête de la Science

(01 October 2025)

On the eve of the official launch of Fête de la Science 2025, and at the offices of the Ministry of Higher Education, I took part in a roundtable organized...

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)