Accueil
>
Présentation
>
Personnel
> TODOROV Vassil
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. TODOROV Vassil
ATTENTION : ce membre a quitté le laboratoire le 31/12/2020
Doctorant
Centrale Supélec
Vérification d'Algorithmes, Langages et Systèmes
Tel : 0169153073
Fax :
Bureau : 15/PCRI-S
Page personnelle :
Courrier électronique :
Vassil.Todorov@lri.fr
Publications
Thèses et habilitations
Doctorat -
Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles