Horatiu Cirstea

Université de Lorraine
Computer Science Department
Research team: PAREO - LORIA


Contact
LORIA
Batiment C
Campus scientifique
BP 239
54506 Vandoeuvre-lès-Nancy Cedex
France

Mail: Horatiu.Cirstea@loria.fr
Direct: +33 (0)3 54 95 84 06
Secretary: +33 (0)3 54 95 84 25
Fax: +33 (0)3 54 95 84 01

Research
Theoretical foundations and practical applications of rewriting
Typed and untyped rewriting calculus and applications to rewrite based languages (Tom)
Security policy analysis


Teaching
Master Informatique - Logiciels: Méthodes Formelles et Ingénierie
Licence Informatique