====== Hélène Kirchner ====== {{ wiki:inria-0147-3862.jpg}} **// Research Director at Inria - Emeritus//** __Affiliation:__ Inria - Direction of the European and International Partnerships Department __Address__ Inria Domaine de Voluceau - Rocquencourt BP 105 - 78153 Le Chesnay Cedex France __Secretary__ Julie Pomponne: (+33) (0)1 39 63 52 38 __E-mail__ ==== African Centers of Excellence ACE Partner === *//Scientific Referent of the African Network in Digital Science and Technology (DSTN) // *//[[ https://en.ird.fr/acepartner/ |ACE Partner Project]] // ==== Société Informatique de France === *//Membre d'Honneur de la [[ http://www.societe-informatique-de-france.fr/|SIF ]]// ==== CV ==== Hélène Kirchner has obtained her PhD in Computer Science in 1982 and her Habilitation (These d'Etat) in 1985.\\ She entered CNRS in 1982 and became Research Director in 1995.\\ After leading the Protheo project from 1997 to 2000, she took the Direction of the joint laboratory LORIA and of the INRIA Lorraine research center(2001-2007). \\ From 2007 to 2010, she was on secondment at INRIA as Deputy Scientific Director. \\ From september 2010 to 2015, she was Inria Scientific Director of International Affairs, \\ then Scientific Affairs Officer at Direction of European and International Partnerships of Inria. \\ Currently she is Emeritus Research Director. From 2015 to 2018, she was member of the Board of the French High Council for Evaluation of Research and Higher Education [[http://www.hceres.com/|HCERES]]. She is member of the //{{http://verify.rwth-aachen.de/IFIP-WG1.6/|IFIP WG 1.6 (Term Rewriting)}}//, \\ past associate editor of //{{http://www.springerlink.com/content/101739/|Annals of Mathematics and Artificial Intelligence}} in 2005-2023//, \\ past member of the editorial board of //{{http://www.cai.sk/|Computing and Informatics}} in 2004-2018//, \\ past member of //{{http://www.lmcs-online.org/index.php|Logical Methods in Computer Science (LMCS)}} in 2004-2023//. Her research is concerned with the design and development of safe software: \\ formal specifications, logic and automated deduction, program verification, with a special emphasis on deduction and computation by rewriting and strategies.\\ Since 2005, she applies these techniques to the design and verification of security policies, in particular to access control policies, \\ and to the modeling of bio-chemical processes and social networks with graph transformations. In 2012-2018, she was Grand Professor at TU Dresden Cluster of Excellence [[ https://cfaed.tu-dresden.de/|Center for Advancing Electronics Dresden]]. In 2015-2019, she was member of the Board of [[ https://www.informatics-europe.org/|Informatics Europe]]. {{:wiki:cv-us-copy.pdf|myFullCV (2016)}} ==== Research interests === === Computation and deduction: === * rewrite systems and applications, term and graph rewriting, * constraint solving, combination of solvers or decision procedures, * theorem proving with constraints, strategies, deduction modulo. === Programming languages: === * algebraic and logic programming, constraint logic programming, * rule-based programming, compilation, * bio-chemical models. === Formal specifications, software validation, security: === * algebraic specifications, rewriting logic, * proofs of program properties, * security policies. === Cells as computers === * Looking upon cells with an information processing perspective : [[ https://www.i2cell.science/ |I2Cell ]] ==== Some Lectures, Talks and Lecture Notes ==== === Talks === * //**WPTE 2020** {{:wpte2020copy.pdf|Slides}} // === Lecture at International School on Rewriting === [[http://isr2014.inf.utfsm.cl|ISR2014]] ** Strategies in Rewriting ** * //Preliminary Reading {{wiki:rewstrat.pdf|SurveyHK}} // * //Bibliograhy {{wiki:biblio.pdf|References}} // * //Lecture 1 {{wiki:lecture1.pdf|First Lecture}}// * //Lecture 2 {{wiki:lecture2.pdf|Second Lecture}}// * //Lecture 3 {{wiki:lecture3.pdf|Third Lecture}}// === Lecture notes === * //**Rewriting - Computation and Deduction** {{wiki:RCDlecture.pdf|Slides}} {{wiki:rsp.pdf|Document}}// ==== Publications === === ORCID === [[ https://orcid.org/0009-0001-6778-1791 ]]