Horatiu Cirstea

Université de Lorraine
Computer Sceince 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

Events
Journées GDR - GPL - CIEL - AFADL 2013
Web Rule Symposium - RuleML 2013
Symbolic Computation in Software Science - SCSS 2013
Past events

Projects
QUARTEFT - QUAlifiable Real TimE Fiacre Transformations
CORiAS - Conception et réalisation d'assistants à la preuve en surdéduction modulo
ACCESS - Access Control Policies for XML
SSURF - Safety and Security under FOCAL
Past projects
Teaching
Master Informatique - Logiciels: Méthodes Formelles et Ingénierie
Licence Informatique