REWERSE - reasoning on the web
Photo

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.

Professional web page

http://www.loria.fr/~ckirchne/

go to top of page

Imprint      Privacy Disclaimer