Langages, Modèle, et Vérification

Présentation - Membres Publications de l'équipe Projets de l'équipe Actualités de l'équipe

Research conducted in the LMV team aims at improving the quality of computer systems through the use of formal methods. Our work focus on the study of behavioral properties of complex systems described by means of programming languages, rewriting systems and partial orders. The design of approximations suitable for the analysis of such systems constitute the backbone of our team. The Coq Proof Assistant is increasingly used as a programming language as well as a validation tool in our work.

Programming languages :

Our research in the field of programming languages focus on the definition of semantic property of programs and on the design of analysis tool enforcing such property. On the basis of these elements we also work on the study of new programming constructs, in particular in the field of parallel programming which occupies a central place in this activity. For example, we are involved in the development of the SyDPaCC library and in the GIRAFON project.

Rewriting systems :

Our research in the field of rewriting systems focus of the study of various rewriting strategies for which we define proper termination and conflunece criterion. In particular, we consider rewriting systems based on words and tree language constraints (context-sensitive rewriting, prefix constrained rewriting, controlled rewriting).

Membres de l'équipe

Nombre de membres : 15
Nom Prénom Établissement Fonction(s) Corps
ANANTHARAMAN Siva Université d'Orléans PRHON
BERNIER Téo Université d'Orléans CJC/Doctorant
BOICHUT Yohan Université d'Orléans MCF
BOUSDIRA Wadoud Université d'Orléans MCF
CHOUQUET Jules Université d'Orléans Responsable communication, Responsable des locaux MCF
CLASTRES Térence Université d'Orléans CJC/Doctorant
CLOUET Myriam Université d'Orléans POST-DOC
COUVREUR Jean-Michel Université d'Orléans PR
DABROWSKI Frédéric Université d'Orléans MCF
DAMOUR Jérémy Université d'Orléans CJC/Doctorant
ED-DBALI AbdelAli Université d'Orléans MCF
GROULT Florian Université d'Orléans CJC/Doctorant
ISCHARD Jordan Université d'Orléans CJC/Doctorant
LOULERGUE Frédéric Université d'Orléans Membre du conseil, Responsable d'équipe PR
ZIANI Yani Université d'Orléans CJC/Doctorant