• Connexion

en fr

Navigation
  • Présentation
  • Recherche
      • Pôles et Thèmes
      • Séminaires
      • Publications
      • Preuve et langages
        • Arithmétique des ordinateurs
        • Calcul, langages et compilation
        • Preuve de programmes
        • Preuve mecanisée
      • Modèles
        • Concurrence et distribué
        • Model-checking et synthèse
        • Systèmes critiques
        • Test et monitoring
      • Interactions
        • Biologie
        • Intelligence artificielle
        • Quantique
        • Sécurité
        • Topologie
      • Equipes-projets
        • Deducteam
        • Toccata
        • QuaCS
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Événements
  • Opportunités
  • Annuaire
  • Accueil

Pôle Preuve et langages

Members

Faculty

Idir Ait-Sadoune

Thibaut Balabonski

Bruno Barras

Véronique Benzaken

Frédéric Blanqui

Sylvie Boldo

Frédéric Boulanger

Sylvain Conchon

Evelyne Contejean

Gilles Dowek

Jean-Christophe Filliâtre

Armaël Guéneau

Jacques-Henri Jourdan

Chantal Keller

Claude Marché

Guillaume Melquiond

Kim Nguyen

Andrei Paskevich

Christine Paulin-Mohring

Mihaela Sighireanu

Safouan Taha

Théo Winterhalter

Burkhart Wolff

Lina Ye

Emeriti

Postdocs and Engineers

Alidra Abdelghani

Noé Canva

Marco John Lewis

PhD Students

Benoît Ballenghien

Luc Chabassier

Arnaud Golfouse

Amélie Ledein

Nicolas Margulies

Josué Moreau

Paul Patault

Quentin Petitjean

Andrei Samokish

Julien Simonnet

Melanie Taprogge

Thomas Traversié

Rishikesh Vaishnav

Philippe Volte-Vieira

Visitors

Catherine Dubois

Micaela Mayero

Contact

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Téléphone : +33 (0)1 81 87 54 50

Mail : contact@lmf.cnrs.fr

Access

  • Log in
  • Intranet

Mentions légales

Page last modified on 2021-09-24@13:21