Accueil
>
Présentation
>
Personnel
> VALIRON Benoît
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. VALIRON Benoît
Professeur assistant
Centrale Supélec
Vérification d'Algorithmes, Langages et Systèmes
Tel :
Fax :
Bureau : 13/PCRI-S
Page personnelle :
http://www.monoidal.net
Courrier électronique :
benoit.valiron@lri.fr
Activités de recherche
-
Calcul quantique
-
Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
Publications
Responsabilités administratives
-
Membre du conseil de laboratoire
-
Membre Commission Matériel
Responsabilités de contrats
-
18BULLGOUBAU
-
ITEA 3 QUANTEX
-
SOFTQPRO