Découvrez l’interview de Marie Kerjean, Chargée de recherche au laboratoire LIPN à l’Institut Galilée. Elle évoque son parcours de recherche orienté autour de la logique et des sciences numériques dans le Journal du CNRS du mois de décembre.
Elle effectue des travaux de recherche autour des correspondances entre la preuve et le programme informatique.
©photo: Xavier Pierre / CNRS
