REWERSE - reasoning on the web

Claude Kirchner

Member of REWERSE participant


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.

Professional web page

go to top of page