Aller au contenu principal
  • Vous êtes
  • Un Etudiant
  • Une Entreprise
  • Un journaliste
  • Actualités
  • Photothèque
  • Boutique
  • Offres d'emploi
  • Presse
  • Je fais un don
Accueil Accueil
      • Histoire de l'Ecole
      • Stratégie 2023-2032
      • Gouvernance
      • Chiffres clés
      • Centre des Diversités et de l’Inclusion
      • Egalité Femmes-Hommes
      • Développement durable
      • Handicap
    • International
      • Université Paris-Saclay
      • Groupe des Ecoles Centrale
      • Entreprises & Mécènes
      • Partenaires académiques
    • La Fondation
    • Science & société
    • CentraleSupélec Alumni
      • Bachelor of Engineering – CentraleSupélec & McGill
      • Bachelor of Engineering – CityU Hong Kong joint degree
      • Bachelor of Engineering – BITS Pilani joint degree
      • Bachelor in AI, Data & Management Sciences – ESSEC joint degree
      • Bachelor HEPTA – ESSEC & Sciences Po
      • Ingénieur généraliste
      • Ingénieur Spécialité Cybersécurité
      • Ingénieur Spécialité Electronique
      • Ingénieur Spécialité Génie électrique
      • Ingénieur Spécialité Informatique
      • Ingénieur Spécialité Physique
      • Ingénieur Spécialité Systèmes numériques
      • MSc in Industry Transformation Management
      • MSc in Artificial Intelligence
      • MSc in DataSciences and Business Analytics
      • MSc&T in Space Business Strategy
      • MSc&T for Business Managers
      • MSc&T Management Global des Risques
      • MSc CentraleSupélec-ESSEC Entrepreneurs
      • Masters
      • Innovation et entrepreneuriat
      • Stratégie et Management de Projet
      • Systèmes d’Information et Digital
      • Transition Ecologique et Energétique
    • Doctorats
    • Executive education
      • Shift Year
      • Digital Tech Year
      • Summer School
      • Summer Camp
      • Programme FreeMoov
    • Le centre de recherche
    • Laboratoires
    • Chaires et laboratoires communs
    • Grands équipements
    • Annuaire des chercheurs
    • Soutenances de thèses
    • Liste des publications
    • 21st by CentraleSupélec
    • Les programmes d'accompagnement
    • Nos campus & lieux de vie
    • Devenir partenaire
    • Nos entreprises partenaires mécènes
    • Nous soutenir
    • Location d'espaces
    • Publier une offre
      • Campus de Metz
      • Campus de Paris Saclay
      • Campus de Rennes
    • Logements
    • La santé étudiante
    • Sports
    • Bibliothèque

Rechercher

Les sujets les plus recherchés

Formations
International
Actualités
Contact
Extranet

Benoit Valiron

Laboratoire
LMF
Mots cles
méthodes formelles, logique et langages de programmation, calcul quantique
Site WEB
  1. Accueil
  2. Chercheurs
  3. Benoit Valiron

Logo CentraleSupElec

  • Suivez-nous

Campus de Paris-Saclay

3 Rue Joliot Curie
91190 Gif-sur-Yvette

01 75 31 60 00

A propos

  • CentraleSupélec
  • Entreprises
  • International
  • Nos campus
  • Actualités
  • Agenda
  • Photothèque

Formations

  • Bachelors
  • Ingénieurs
  • Masters
  • Doctorats
  • Programmes courts
  • Executive education

Recherche

  • Centre de recherche
  • Laboratoires
  • Chaires et laboratoires communs
  • Science & société
  • Annuaire des chercheurs
  • Publications

Autres sites

  • 21st by CentraleSupélec
  • Paris Digital Lab
  • Fondation CentraleSupélec
  • CentraleSupélec Alumni

© 2025 CentraleSupelec

  • Contact
  • Mentions légales
  • Vos données
  • Accessibilité
  • Presse
Image
Ministère de l'enseignement Supérieur et de la Recherche
Image
Ministère chargé des comptes publics
Image
CTI
Image
Conférence des grandes écoles
Image
CDEFI
Image
Campus France Bienvenue en France trois étoiles
Image
Développement Durable & Responsabilité sociétale
Image
EUR-ACE
Image
Groupe des Écoles Centrales