Research topics:symbolic constraint solving, verification of process calculi, verification of cryptographic protocols, logic for semi-structured data.

My publications tracked by 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. (secretary): +33 (0)4 91 11 35 21

Projects

Current projects:

• 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).

---

Past projects:

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

Recent Publications

Teaching

Master in Computer Science

• Informations and Inscriptions year 2007-2008.
• Information year 2006-2007.
• Cours Programmation Sûre: Test et Spécification du Master Professionnel Informatique Avancée et Applications (I2A) proposé par l'UFR MIM de l'université de Provence au CMI.

Licence

• Programming in C
• Logic for Computer Science

Short Bio

• Thesis in Computer Algebra "Algorithmes de Factorisation de Polynomes". (Institut National PolyTechnique de Grenoble)
• Assistant professor at University Henri Poincaré Nancy. Team Eureca and Protheo
• Professor at Université de Provence

Interesting links