Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > VALIRON Benoît
Présentation
M. VALIRON Benoît
Professeur assistant
Centrale Supélec
Modélisation Hétérogène

Tel :
Fax :
Bureau : 13/PCRI-S

Page personnelle : http://www.monoidal.net
Courrier électronique : benoit.valiron@lri.fr

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

Publications




Responsabilités administratives
   - Membre Commission Matériel
   - Membre du conseil de laboratoire