Most recent news
AI Training at Aérocampus
(04 July 2025)
The Aérocampus of Nouvelle Aquitaine is a training center for aeronautical technicians. It's a unique campus where industry plays a major role. Here, airplanes (including a Rafale) and helicopters of...
2025 Agrégation Jury
(23 June 2025)
Since 2022, France has finally established an external computer science agrégation. I remember my own computer science classes in middle school (on PCs with 5"1/4 floppy disks and MO5/TO7 machines)....
Does AI Still Belong to Digital Science ?
(03 June 2025)
I had the pleasure of opening the AI Day in Nouvelle Aquitaine, organized by AI in Nouvelle Aquitaine. For this occasion, I allowed myself to venture into areas close to...
2025 Graduation Ceremony
(15 March 2025)
Last Saturday was, as every year, the graduation ceremony for the students of ENSEIRB-MATMECA, where I am still the head of the Computer Science department for a few more months....
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...
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.

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)