Laurent Simon

Professeur des Universités
(Bordeaux INP / Univ. Bordeaux / LaBRI)

Nouvelles les plus récentes

(Liste de toutes les brèves)

Entretien Hebdo Eco à TV7

(20 Février 2025)

Mercredi dernier, j’ai pu répondre aux questions de Stéphanie Lacazze, de Sud Ouest, dans le cadre de l’hebdo éco de TV7. C’est une chaîne de TV locale du groupe Sud...


Lancement du Diplôme d'Établissement en IA

(13 Février 2025)

Le diplôme d’établissement “Experts en I.A.” vient de prendre corps, tout juste le lendemain du sommet de l’IA à Paris (un temps d’avance !). Cette formation a été proposée grâce...


Page sur la Convention IA

(9 Février 2025)

Après des mois de travaux préliminaires, nous lançons officiellement le recrutement d’étudiants pour la convention citoyenne étudiante qui aura lieu dans les locaux de Bordeaux Métropole le Week End du...


IA dans la Formation Initiale

(30 Janvier 2025)

L’IA et la formation : de l’université au monde professionnel Avec Juliette Mattioli, “Expert Fellow” en IA chez Thalès, nous avons eu le plaisir de présenter, en deux heures, les...


IA & Formations

(24 Janvier 2025)

Dans le cadre d’une série de rencontres et de conférences organisées par France Travail (avec plus de 400 visiteurs au total), dans les locaux de Bordeaux Métropole, j’ai eu le...

Explications (avec les mains) pendant une présentation

Présentation succincte

Je suis Professeur des Universités à l’école d’ingénieurs ENSEIRB-MATMECA de Bordeaux INP, et j’effectue ma recherche dans le département Méthodes et Modèles Formelles, M2F au laboratoire d’informatique de Bordeaux, le (laBRI) à l’Université de Bordeaux, depuis 2013. Depuis 2024, je suis également l’un des 180 conseillers régionaux au CESER de Nouvelle-Aquitaine, la seconde chambre régionale (membre qualifié, commission économie, mandature 2024-2030).

L’IA et la formation : de l’université au monde professionnel

Cela fait maintenant plus de deux ans que, avec la chaire IA Digne de Confiance, je suis sollicité pour faire...

C’est avec un très grand plaisir que nous venons d’apprendre l’acceptation définitive (et la publication) d’un article dans Nature npj...

Des drones lors de la célébration des 100 ans de l'ENSEIRB-MATMECA

Depuis la rentrée 2021, je suis en charge du département informatique de l’ENSEIRB-MATMECA , une des écoles d’ingénieurs du groupe Bordeaux INP, elle-même membre du réseau national d’école d’ingénieurs INP.

⊆ Departement Info ⊆ ENSEIRB-MATMECA ⊆ Bordeaux-INP ⊆ Réseau INP ⊆

Photo de l'école d'ingénieurs Bordeaux-INP

Du point de vue animation de la recherche, mes principales occupations actuelles peuvent se résumer ainsi :

⊆ Axe IA ⊆ LaBRI ⊆ Université de Bordeaux / Bordeaux INP / CNRS ⊆

Précédemment, j’étais membre du LRI, le Laboratoire d’Informatique de l’Université d’Orsay Paris 11 (à l’époque, maintenant connue sous le nom de Université Paris Saclay), dans le groupe de recherche Intelligence Artificielle et Systèmes d’Inférence (IASI).

Sujets de recherche

Picture of the LaBRI Computer Science Laboratory

Mes principales activités de recherche sont menées au (laBRI) (voir photo ci-dessus). Je m’intéresse aux algorithmes et outils efficaces pour le raisonnement logique, principalement autour de la résolution pratique de la résolution du problème SAT et autour de SAT. Ces outils s’appuient sur les fondements de l’Intelligence Artificielle (impliquant du raisonnement) pour offrir des garanties (qualité, explicabilité, reproduction, complétude, …) sur les décisions qu’elles peuvent recommander. Par ailleurs, du fait des progrès impressionnants obtenus ces dernières années par ces outils, et les bijoux algorithmiques qu’ils recèlent, on les retrouve souvent au coeur de nombreuses méthodes de vérifications formelles de systèmes, voire au coeur des méthodes permettant d’expliquer ou de garantir des propriétés de systèmes de décision de type boites noires (comme les réseaux de neurones).

Je m’intéresse également aux problématiques d’efficacité pour la manipulation et l’exploitation de bases de connaissances, comme la génération efficace d’Impliqués/Impliquants Premiers et la Compilation de Base de Connaissances au sens général, avec un fort appétit pour l’étude expérimentale des outils d’IA qui s’attaquent aux problèmes fortements combinatoires. J’ai également eu l’occasion de travailler
sur des approches décentralisées de certains de ces sujets (raisonnement sur les réseaux P2P et sociaux, garantie de diagnosticabilité de systèmes décentralisés, …). Depuis quelques années, je travaille sur l’IA de confiance, en particulier dans le contexte de décisions critiques ou lorsqu’une explication est nécessaire. Pour aborder ces problèmes, la logique et les méthodes formelles s’avèrent essentielles.

Plus récemment, je me suis tourné vers la détection de dérives de modèles issus de l’apprentissage.

A propos du solveur SAT Glucose

Médailles de notre solveur SAT Glucose obtenues lors de la compétition 2017

Glucose est un solveur (démonstrateur) SAT basé sur un mécanisme de mesure de la pertinence des clauses apprises par les solveurs, basé sur le papier publié à IJCAI avec Gilles Audemard. Le nom du solveur vient du concept de “glue clauses”, des clauses qui permettent d’attacher systématiquement un nouveau littéral aux propagation du solveur, d’où “glueclause, gluclause, glucose” (pardon). Glucose s’appuie très fortement sur le travail d’implantation remarkable des solveurs CDCL dans Minisat. Il est important de citer également Minisat si vous souhaitez citer Glucose.

Il y a une page dédiée au solveur Glucose. En 2022, on a décidé, avec Gilles A. de simplifier le code et de le rendre plus efficace (à suivre !).

SAT en deux mots

Le problème SAT (test de satisfiabilité) est l’un des plus importants problèmes en informatique théorique. Intuitivement, ce problème capture la complexité inhérente aux problèmes les plus simples qui demeurent difficiles à résoudre en pratique. Un problème difficile, c’est un problème pour lequel calculer la solution est faisable, mais cela vous demanderait beaucoup trop de temps (typiquement bien bien plus que l’age de l’univers). Si vous voulez en savoir plus, je ne peux que vous conseiller de prendre votre prochain avec la page Wikipedia qui parle de SAT .