REWERSE - reasoning on the web

Horatiu Cirstea

Associated Member of REWERSE participant

Nancy, INRIA - LORIA

Involvement in REWERSE packages

I3 : Composition and Typing

Former and current employments

Assistant Professor, University Nancy II & LORIA, Nancy (France)

Current professional interests

Theoretical foundations and practical applications of rewriting. Semantical and logical aspects of the typed rewriting calculus. Verification.

Professional web page

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

go to top of page

Imprint      Privacy Disclaimer