Thème de recherche:résolution de contraintes symboliques, vérification de calculs de processus, vérification de calculs de processus, vérification de protocoles cryptographiques, logique pour documents semi-structurés.

Publications via DBLP (Trier University).

Contact

Denis Lugiez
LIF - CMI,
39, rue Joliot-Curie
F-13453 Marseille Cedex 13, France.

How to get here.
Comment venir au CMI.

E-Mail: lugiez[at]lif.univ-mrs.fr
Tel.: +33 (0)4 91 11 36 23;
Fax: +33 (0)4 91 11 36 02;
Tel. (secrétariat): +33 (0)4 91 11 35 21

Projets

En cours:

projet COPS, COmposition des Politiques et des Services (projet de l'Action de Recherche Amont "Sécurité, système embarqués et intelligence ambiante", 2005).
projet Tralala, Langages pour la manipulation de documents XML : fondement et pratique (ACI Masse de données, 2004).

Passés:

projet Rossignol (ACI Sécurité Informatique ).
ATIP Jeunes Chercheurs 2002, "Fondements de l'interrogation des Données Semi-Structurées" (CNRS)

Publications Récentes

Collaborative Peer to Peer Editing: Avoiding conflict is better than Solving Conflicts. Stephane Martin and Denis Lugiez. Research Report of Applied Computing 2009.
Symbolic Protocol Analysis for Monoidal Equational Theories. Stephanie Delaune, Pascal Lafourcade, Denis Lugiez and Ralf Treinen. Information and Computation Volume 206 Issue2- 4, pages 312-351, 2008.
Intruder Deduction for the Equational Theory of Abelian Groups with Distributive Encryption. Pascal Lafourcade, Denis Lugiez and Ralf Treinen. Information and Computation Volume 205 Issue 4, pages 581-623, 2007.
XML schema, tree logic and sheaves automata. Silvano Dal Zilio and Denis Lugiez. Applicable Algebra in Engineering, Communication and Computing 17(5):337-377, Oct. 2006.
[doi:10.1007/s00200-006-0016-7]
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata . Denis Lugiez, Peter Niebert and Sarah Zennou. Theoretical Computer Science Volume 345, Issue 1, 21 November 2005, Pages 27-59
[doi:10.1016/j.tcs.2005.07.023]

Sujets de Stage

Stage de licence (6-8 semaines): Implémentation d'un algorithme d'Edition collaborative.
Stage de master (3-4 mois): Bisimulation faible des BPP.

Enseignement

Master d'Informatique

Informations générales et Inscriptions année 2009-2010. CEF Informations options BDA , FSI .
Cours Fiabilité Logicielle du Master Professionnel Informatique Avancée et Applications (I2A) proposé par l'UFR MIM de l'université de Provence au CMI.
Cours Master 1 recherche opérationnelle

Licence d'Informatique

CV

Thèse en Calcul Formel Algebra "Algorithmes de Factorisation de Polynomes". (Institut National PolyTechnique de Grenoble)
Maitre de Conférences à l' Université Henri Poincaré Nancy. Team Eureca and Protheo
Professeur à l'Université de Provence

Liens

WE d'equipe
The MOdelling and VErification group. - MOVE (LIF-CNRS)
The TATA Book. An interactive book on tree automata.
Journées PARISTIC 2006
Ecole de Printemps sur la Sécurité Secur05
Spécif Société des personnels enseignants et chercheurs en informatique de France.