Thèses et dissertations

  • HDR (Habilitation à diriger les recherches) en informatique, Université de Franche-Comté, Besançon (France), Novembre 2004.
    Titre : “Raffiner pour vérifier des propriétés de systèmes finis et infinis”.
  • Diplôme de candidat-ès-sciences physiques et mathématiques ; Commission d'attestation supérieure, Moscou (Russie), Novembre 1998.
  • Diplôme de doctorat de l'Université Joseph Fourier (UJF) - Grenoble I (France),  Février 1997.
    Titre : “Sémantique de programmes récursifs-parallèles et méthodes pour leur analyse”.
  • Diplôme de DEA en Mathématiques appliquées et Informatique, Université d'état de Iaroslavl (Russie), Juin 1988.
    Titre : “Modèles stochastiques pour l'analyse de réseaux de Petri”.