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