G. Kucherov a assuré l'enseignement du module de spécialisation Éléments de complexité des algorithmes, Pierre Lescanne celui du module e spécialisation Environnement de Preuves et Réécriture, et Adam Cichon celui du module de techniques avancées Logique 2, tandis que P. Zimmermann mettait en place un module de spécialisation intitulé Calcul Formel, tous ces enseignements ayant lieu dans le cadre du DEA d'Informatique des Universités de Nancy.
Adam Cichon est responsable du DESS Informatique de Nancy.