LAURENT SIMON

INFORMATIONS

Thématiques

Monde du travail

Biographie

Laurent Simon est Professeur des Universités à l’ENSEIRB-MATMECA (Bordeaux INP). Il effectue sa recherche au LaBRI (Laboratoire Bordelais de Recherche en Informatique) autour de la conception d’outils de résolution de problèmes logiques fortement combinatoires, typiquement utilisés dans des problématiques de preuves ou de certifications. Il a été porteur de deux projets ANR sur ce sujet et porte depuis 2022 une chaire Industrielle autour de l’IA digne de Confiance. Il est le directeur du département informatique de l’ENSEIRB-MATMECA et président de l’association française de programmation par contraintes. Il est le co-auteur de Glucose, un démonstrateur logique (problème SAT), vainqueur de nombreuses compétitions du domaine.

Fonction

Enseignant Chercheur en Intelligence Artificielle

Société

BORDEAUX INP / UNIVERSITÉ DE BORDEAUX