Google Award pour SAT

1 Septembre 2024

Nouvelles les plus récentes

(Liste de toutes les brèves)

Entretien pour le site Curieux.live!

(24 Décembre 2025)

J'ai pu répondre aux questions de Florence Heimburger du magazine [curieux.live!](https://www.curieux.live/), un site à destination des adolescents curieux de sciences. Le sujet de départ était de comprendre pourquoi il faut...


Séminaire sur les compétitions à Dagstuhl

(29 Octobre 2025)

Cela faisait un certain temps que je n'avais eu le plaisir de retourner au château de Dagstuhl. C'est aussi un retour à de vieilles problématiques sur les [compétitions et évaluations...


Entretien dans le Hors Série Science et Vie sur l'IA

(20 Octobre 2025)

Cela fait déjà quelques temps que j'ai le privilège de répondre, parfois, aux questions de journalistes au sujet des impacts de l'IA sur la société, grâce à la chaire IA...


Après Midi IA-ACT de la Chaire IA Digne de Confiance

(6 Octobre 2025)

Le 13 Octobre : après-midi de présentation et d'échanges sur l'IA Act ! **Écouter, questionner et comprendre l'IA-Act** - Un après-midi d'explications, d'éclairages théoriques et de retours d’expériences appliqués pour...


Table Ronde Science & Vie - Fête de la Science

(1 Octobre 2025)

La veille du lancement officiel de la fête de la science 2025, et dans les locaux du Ministère de l'Enseignement Supérieur, j'ai pu participer à un table ronde organisée par...

J’ai eu le plaisir d’obtenir, fin août, un Google Award (de 50K€) pour poursuivre mes travaux (initiés il y a déjà quelques années, notemment au travers de l’ANR SATAS sur la parallélisation massive des solveurs SAT) sur les problématique de distribution de calcul pour la résolution de SAT. Il reste encore beaucoup à faire dans ce cadre, et je vais ouvrir des stages de recherche / des missions ingénieurs dans ce cadre.

(Dernière Modification: 1 Décembre 2024 )
(english version)
(liste de toutes les brèves)