Claude Kirchner Directeur du centre de recherche INRIA de Bordeaux - Sud-Ouest. +33 3 54 95 84 05 (Secrétariat : +33 1 72 92 59 02) Responsable scientifique de l'équipe-projet PROTHEO Claude.Kirchner@inria.fr

À partir du 1^er janvier 2008, Claude Kirchner est nommé Directeur du centre de recherche INRIA Bordeaux - Sud-Ouest.

Claude Kirchner, docteur ès sciences en informatique, a été enseignant en mathématiques du secondaire, Maître de conférence en informatique, Chargé de recherche au CNRS et est depuis 1988 Directeur de recherche à l'INRIA.
Ses intérêts et contributions scientifiques reconnues internationalement portent sur les fondements logique et sémantique, en particulier basés sur la réécriture, pour la conception et la mise en oeuvre de systèmes sûrs. Il a contribué à l'émergence des concepts de déduction modulo et du calcul de réécriture.
A partir de 1992 il a créé et dirigé l'équipe-projet PROTHEO. Co-lauréat du grand prix de l'académie des sciences 2002 au titre de la fondation culturelle Franco-Chinoise. Il préside depuis 2003 les conseils scientifique et d'évaluation des programmes du ministère puis de l'ANR en sécurité et informatique. Le 1^er juin 2007 Claude Kirchner a été nommé directeur délégué auprès du Directeur du centre de recherche INRIA Futurs, pour la mise en place du Centre de recherche INRIA Bordeaux - Sud-Ouest.