Horatiu Cirstea
Université de LorraineResearch 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 |