Hélène Kirchner
THIS PAGE IS NOT UPDATED ANYMORE - NEW INFORMATION IS HERE
Affiliation:
INRIA
seconded from CNRS
Address
Centre de Recherche INRIA Bordeaux - Sud-Ouest
Bâtiment A29
351, Cours de la Libération
33405 Talence
FRANCE
Secretary
Joëlle Lacoste-Rodriguez: (+33) (0)5 24 57 40 02
Phone
Direct: (+33) (0)5 24 57 40 03
Fax: (+33) (0) 5 24 57 40 23
E-mail
Helene.Kirchner@inria.fr
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.
Current lectures
- Rewriting - Computation and Deduction
Lecture Pdf file
Companion document Pdf file
Publications
- Personal list (Pdf file)
- A few recent papers
- "Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations"
in "Rewriting, Computation and Proof" (Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday), LNCS 4600, pp.44-67, 2007.
- "Termination of rewriting under strategies"
To appear in TOCL Pdf .
- "A Rewriting Calculus for Multigraphs with Ports"
Proc.8th Int. Workshop on Rule-Based Programming (RULE'07), ENTCS Pdf .
- "Graph Rewriting and Strategies for Modeleing Biochemical Networks"
Workshop on Natural Computing and Applications (NCA'2007),
Timisoara, Romania, 2007 Pdf .
- "Modular Access Control via Strategic Rewriting"
Proc.12th European Symposium On Research In Computer Security (ESORICS 2007).
- "Weaving Rewrite-Based Access Control Policies"
5th ACM Workshop on Formal Methods in Security Engineering:From Specifications to Code, Alexandria, VA, USA, 2007 Pdf .
- "Strategic Computations and Deductions"
To appear in Studies in Logic and the Foundations of Mathematics,
Elsevier, 2008 Pdf .
- "Inductive Proof Search Modulo"
To appear in Annals of Mathematics and Artificial Intelligence, 2008, Pdf .
- "Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation"
Submitted to Journal of Symbolic Compution. INRIA Report Pdf .
Curriculum Vitae
Current Responsibilities:
- Deputy Scientific Director at INRIA
Journals: Member of Editorial Board of
- Annals of Mathematics and Artificial Intelligence (Associate Editor)
- Computing and Informatics
- Logical Methods in Computer Science
Last Modified October 2008