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”.
