Claude Kirchner
Member of REWERSE participant
Nancy, INRIA - LORIA
Involvement in REWERSE packages
I3 : Composition and
Typing
I4: Reasoning-aware
Querying
Former and current employments
Senior Research Scientist, LORIA-INRIA, Nancy (France)
Current professional interests
Computation and deduction by rewriting. Semantical, logical and practical design of iPPE (integrated Program and Proof Environment). Semantical and logical aspects of the typed rewriting calculus. Proof techniques in first and higher-order logics, Deduction Modulo. Design of rewrite based environments.
