Benjamin Wack

Former Member of REWERSE participant

Nancy, INRIA - LORIA

Former Involvement in REWERSE packages

I3 : Composition and Typing

Employments

until 08/2006: PhD Student at LORIA-University Henri Poincaré, Nancy (France)

Professional interests

Typing rule-based formalisms, rewriting calculus, logics

Professional web page

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