Etude et programmation de problèmes relatifs à la présentation d'un groupe

Etude combinatoire des ordonnes finis

applications

Méthodes de calcul de certains écoulements

Transducteurs et arborescences

études et réalisations de systèmes appliquées aux grammaires transformationnelles

Utilisation du calcul des prédicats comme langage d'interrogation des bases de données

Contribution à l'analyse et à l'évaluation des questions