Inria
Inria.fr
Inria Channel
Equipe de direction
Hélène Kirchner, directrice des relations internationales
Hélène Kirchner est nommée directrice des relations internationales. Elle anime et coordonne les activités internationales de l’institut sur les plans scientifiques et industriels, en cohérence avec les orientations des ministères de tutelle et des ministères chargés des affaires étrangères et de la coopération.
Les accords entre Inria et ses partenaires scientifiques étrangers sont au cœur de sa mission.
Depuis mars 2007, Hélène Kirchner était directrice scientifique adjointe auprès de la direction de la recherche d'Inria, en charge du domaine « algorithmique, programmation, logiciels et architectures ». Elle a assuré la direction du LORIA et d'Inria Lorraine de 2001 à 2006, après y avoir notamment animé l’équipe-projet PROTHEO dédié à la conception et la réalisation d’outils pour la spécification et la vérification de logiciels, de 1997 à 2000.
Hélène Kirchner est titulaire d'un CAPES de Mathématiques, d'une thèse de 3eme cycle et d'un Doctorat d'Etat en Informatique, obtenu en 1985, après lequel elle a fait un post-doctorat à l'Université de Stanford en 1985-1986. Entrée au CNRS en 1982, elle est Directeur de Recherche depuis 1995. Après avoir animé de 1997 à 2000 le projet Prothéo, elle a assuré la direction du LORIA et d'Inria Lorraine pendant six ans (2001-2006). Depuis 2007, elle est détachée à l'institut où elle assure la fonction de Directeur scientifique adjoint.
Ses thèmes de recherche portent sur la conception et le développement de logiciels sûrs: les spécifications formelles, la logique et la déduction automatique, la vérification de programmes, avec une spécialité en déduction, calcul par réécriture et stratégies. Depuis 2005, elle applique ces techniques à la conception et à la vérification des politiques de sécurité, et à la modélisation de processus biochimiques par transformations de graphes.
Mots-clés : Algorithmique Logiciels et architectures Direction Programmation Scientifique
En savoir plus
Contact
