Google Award for SAT

01 September 2024

Most recent news

(list of all news)

Round Table Women in Tech

(05 December 2024)

At the initiative of Betclic, as part of their "Diversity Week", I was able to participate in a round table (without a table) with Amélie Benoit (Women in Tech Bordeaux)...


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...

I had the pleasure of receiving, at the end of August, a Google Award (a Gift of €50K) to continue my work (initiated a few years ago, notably through the ANR SATAS on the massive parallelization of SAT solvers) on the issues of distributed computing for SAT solving. There is still much to be done in this area, and I will be opening research internships / engineering missions in this context.

(Last Modified date: 01 December 2024)
(version française)
(list of all news)