PhD Defense of Marie Miceli

30 November 2023

Most recent news

(list of all news)

Maxime Fuccellaro's PhD Thesis

(25 November 2024)

Accompanying a student to the achievement of a Phd is always an adventure. With Maxime Fuccellaro, whom I co-supervised with Akka Zemmari, it was an opportunity to discover a new...


Feedback on the LLM Afternoon by the Trustworthy AI Chair

(20 November 2024)

Last Wednesday, November 20th, as part of the activities of the Trustworthy AI Chair, we offered two hours covering the main themes related to LLMs, at [ENSEIRB-MATMECA](http://www.enseirb-matmeca.fr). You can find...


Jury at HackRobot Hackathon

(17 November 2024)

A Sunday afternoon watching robots and innovations everywhere? I had the pleasure of being invited to be a jury member at the [Hack1Robo](https://sites.google.com/view/hack1robo/accueil) organized by INRIA Bordeaux South West. From...


Alexis Juven's PhD Thesis

(12 November 2024)

One of the ways to realize how AI permeates all areas of society is to measure the extent of its applications. I was happy to be the reviewer of Alexis...


Knowledge Dissemination Award at the Foundation Gala

(07 November 2024)

For more than two years now, with the Trustworthy AI Chair, I have been invited to give talks about the definition of artificial intelligence, what we expect from it, and...

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)
(list of all news)