Hélène Kirchner

Ahorkularitza Batzordeko kidea

Prof.

Hélène Kirchnerrek Informatikan doktoretza lortu zuen 1982an, eta Habilitazioa (These d 'Etat) 1985ean. CNRSn sartu zen 1982an, eta Ikerketa zuzendari izendatu zuten 1995ean. Protheo proiektua 1997tik 2000ra zuzendu ondoren, LORIA laborategi bateratuaren eta INRIA Lorraine ikerketa-zentroaren zuzendaritza hartu zuen (2001-2007). 2007tik 2010era, zerbitzu-eginkizunetan egon zen INRIAn, zuzendari zientifiko laguntzaile gisa. 2010eko irailetik 2015era, Inriako Nazioarteko Gaietarako zuzendari zientifikoa izan zen, eta, ondoren, Inriako Europako eta Nazioarteko Elkarteen Zuzendaritzako Zientzia Gaietarako arduraduna. Gaur egun, Ikerketa Emeritako zuzendaria da. Inriako Nazioarteko Harremanetarako Zuzendaritzako aditu zientifiko gisa, Afrikako Inriaren estrategiari buruzko aholkularitza eta babesa ematen ditu. 2015etik 2018ra, Ikerketa eta Goi Mailako Hezkuntza Ebaluatzeko Frantziako Goi Kontseiluaren Batzordeko kide izan zen. Bere ikerketa software seguruaren diseinuan eta garapenean oinarritzen da:zehaztapen formalak, logika eta dedukzio automatizatua, programen egiaztapena, arreta berezia jarrita kenketan eta berridazketaren eta estrategien bidezko kalkuluan. 2005az geroztik, teknika horiek segurtasun-politikak diseinatu eta egiaztatzeko erabiltzen ditu, batez ere sarbide-kontroleko politikei dagokienez, eta grafoen eraldaketak dituzten prozesu biokimikoak eta sare sozialak modelizatzeko.