"Utiliser l'intelligence artificielle comme outil de construction de preuves mathématiques"

Découvrez le portrait de Carlos Simpson, directeur de recherche CNRS au LJAD (CNRS-Université Côte d'Azur)

Retrouvez le portrait de Carlos Simpson ainsi que d'autres portraits sur le site de la Délégation Régionale CNRS Côte d'Azur

+ d'info
Le LJAD -Laboratoire Jean Alexandre Dieudonné-, un laboratoire à double tutelle entre le CNRS et Université Côte d'Azur, se situe parmi les meilleurs centres de recherche internationaux en mathématiques. Sa vocation est de développer les mathématiques fondamentales et appliquées sur un spectre large, leurs applications et interactions avec d’autres disciplines (physique, biologie, neurosciences, médecine, environnement, ...). En parallèle de ses activités en mathématiques, le LJAD développe également des recherches interdisciplinaires, notamment avec la mécanique des fluides, la biologie, la chimie, la physique, et il accueille pour cela des chercheurs et enseignants-chercheurs provenant de disciplines autres que les mathématiques.