Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > GONDELMANS Levs
About LRI
Mr GONDELMANS Levs

Warning: this member left the laboratory on 10/02/2017
 
Post-doctorant
INRIA
Verification of Algorithms, Languages and Systems

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

Personal web page :
Email : leon.gondelman@lri.fr

Research activities
   - Deductive Verification of Programs


Joint Inria project teams
   - Toccata








Ph.D. dissertations & Faculty habilitations
Ph.D   - Un système de types pragmatique pour la vérification déductive des programmes

Contracts & Grants
   - Bware