Habilitation à Diriger des Recherches

« Programmation et confiance »

Soutenance

Vendredi 13 juin 2008 à 10h30, Salle du Conseil, Loria

Jury

Rapporteurs

• Hassan Aït-Kaci

• Gilles Dowek

• Jean-Louis Giavitto

Examinateurs

• Yves Caseau

• Charles Consel

• Claude Kirchner

• Karl Tombre

Documents

• Manuscrit : main.pdf

• Recueil d'articles : sommaire.pdf

• Transparents de la soutenances : hdr.pdf

Principaux logiciels réalisés

• Tom

• ELAN (Compilateur)

• CPL (Choice Point Library)

• Java ATerm Library

• Garbage collector of the ATerm Library