Hélène Kirchner

Miembro del Comité Asesor

Prof.

Hélène Kirchner obtuvo su doctorado en Informática en 1982 y su Habilitación (These d'Etat) en 1985. Ingresó en el CNRS en 1982 y fue nombrada Directora de Investigación en 1995. Tras dirigir el proyecto Protheo de 1997 a 2000, asumió la Dirección del laboratorio conjunto LORIA y del centro de investigación INRIA Lorraine (2001-2007). De 2007 a 2010, estuvo en comisión de servicio en INRIA como Directora Científica Adjunta. De septiembre de 2010 a 2015, fue Directora Científica de Asuntos Internacionales de Inria, y posteriormente Responsable de Asuntos Científicos en la Dirección de Asociaciones Europeas e Internacionales de Inria. Actualmente es Directora de Investigación Emérita. Como experta científica de la Dirección de Relaciones Internacionales de Inria, asesora y apoya la estrategia de Inria en África. De 2015 a 2018, fue miembro de la Junta del Alto Consejo Francés para la Evaluación de la Investigación y la Educación Superior. Su investigación se centra en el diseño y desarrollo de software seguro: especificaciones formales, lógica y deducción automatizada, verificación de programas, con especial énfasis en la deducción y el cálculo por reescritura y estrategias. Desde 2005, aplica estas técnicas al diseño y verificación de políticas de seguridad, en particular a las políticas de control de acceso, y a la modelización de procesos bioquímicos y redes sociales con transformaciones de grafos.