Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > GONDELMANS Levs
Présentation
M. GONDELMANS Levs

ATTENTION : ce membre a quitté le laboratoire le 10/02/2017
 
Post-doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169157236
Fax :
Bureau : 68/PCRI-S

Page personnelle :
Courrier électronique : leon.gondelman@lri.fr

Activités de recherche
   - Vérification déductive de programmes


Projets
   - Toccata









Thèses et habilitations
Doctorat   - Un système de types pragmatique pour la vérification déductive des programmes

Participations à des contrats
   - Bware