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
-
Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
-
Calcul quantique
Publications
Responsabilités administratives
-
Membre Commission Matériel
Responsabilités de contrats
-
18BULLGOUBAU
-
ITEA 3 QUANTEX
-
SOFTQPRO
