Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MANDEL Louis
Présentation
M. MANDEL Louis
Maître de Conférences
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 66/PCRI-S

Page personnelle : http://www.lri.fr/~mandel
Courrier électronique : Louis.Mandel@lri.fr

Activités de recherche
   - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
   - Compilation et optimisation des programmes

Publications





Responsabilités de contrats
   - PARTOUT





Participations à des contrats
   - ALIDECS
   - Synchronics