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.

Directeur du Département Informatique et Interaction de la Faculté des Sciences

Publications via DBLP (Trier University).

Contact

Denis Lugiez
Département Informatique et Interactions
3 Place Victor-Hugo
F-13333 Marseille Cedex 3, France.

LIF-

E-Mail: denis.lugiez[at]univ-amu.fr
Tel.: +33 (0)4 13 55 00 42;
Fax: +33 (0)4 13 55 13 51 ;
Tel. (secrétariat): +33 (0)4 13 55 13 55

Sujets de Stage

• Stage de licence (6-8 semaines): Verification de feuilles de style CSS.
• Stage de master (3-4 mois): Bisimulation faible des BPP.

Enseignement

Master d'Informatique

• Informations générales et Inscriptions année 2010-2011. CEF Informations options BDA , FSI .
• Anné 2010-2012. Informations .
• Cours Fiabilité Logicielle 1 du Master Professionnel Informatique Avancée et Applications (I2A)
Cours Master 1 recherche opérationnelle

Licence d'Informatique

• Informations 2012-2013.
• Algorithmique et Programmation
• Licence MPCI Colles Informatique Cours Théorie des langages

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