Aller au contenu principal
  • Vous êtes
  • Un Etudiant
  • Une Entreprise
  • Un journaliste
  • Actualités
  • 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
    • 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
      • Masters
    • Doctorats
      • Shift Year
      • Digital Tech Year
      • Summer School
      • Summer Camp
      • Programme FreeMoov
    • Executive education
    • Le centre de recherche
    • Laboratoires
    • Chaires et laboratoires communs
    • Grands équipements
    • Science & société
    • 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
    • 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

Frederic Boulanger

Laboratoire
Laboratoire Méthodes Formelles
Site WEB
  1. Accueil
  2. Chercheurs
  3. Frederic Boulanger

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

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
Bienvenue en France
Image
Développement Durable & Responsabilité sociétale
Image
EUR-ACE
Image
Centrale méditerranée
Image
Centrale Lyon
Image
CentraleLille
Image
CentraleNantes