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.