REWERSE - reasoning on the web

Horatiu Cirstea

Associated Member of REWERSE participant


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

go to top of page

Imprint      Privacy Disclaimer