Claude Kirchner
Claude Kirchner est directeur de recherche émérite d’Inria, l’institut national français de recherche en sciences et technologies du numérique, dont il a été directeur scientifique de 2010 à 2014. Ses intérêts et contributions scientifiques portent sur les fondements logique et sémantique pour la conception et la mise en oeuvre de systèmes sûrs et sécures.
A partir de 1992 il a créé et dirigé sur ces thèmes une équipe-projet d’Inria à Nancy puis dirigé de 2007 à 2010 le centre de recherche Inria Bordeaux – Sud-Ouest. Il a été lauréat avec l’équipe Eureca de la médaille d’argent du CNRS en 1987 et lauréat du grand prix de l’Académie des Sciences 2002 au titre de la fondation culturelle Franco-Taiwanaise. il a présidé de 2003 à 2008 les conseils scientifique et d’évaluation des programmes du ministère puis de l’ANR en sécurité informatique.
Articles citant les travaux de Claude Kirchner dans le domaine de l'intelligence artificielle.