• Login

en fr

Navigation
  • About LMF
  • Research
      • Pôles et Thèmes
      • Séminaires
      • Publications
      • Logiciels?
      • Projets?
      • 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 Inria?
        • Deducteam
        • Mexico
        • Toccata
      • Collaborations
        • IRL ReLaX
        • LabCom ProofInUse
    • Back
  • Events
  • Opportunities
  • Members
  • Home

Pôle Preuve et langages

Members

Faculty

Idir Ait-Sadoune

Thibaut Balabonski

Bruno Barras

Véronique Benzaken

Frédéric Blanqui

Valentin Blot

Sylvie Boldo

Frédéric Boulanger

Sylvain Conchon

Evelyne Contejean

Stéphane Demri

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

Benoît Valiron

Renaud Vilmart

Burkhart Wolff

Lina Ye

Emeriti

Postdocs and Engineers

Boris Djalal

Yacine El Haddad

Solène Moreau

Pierre Vial

PhD Students

Luc Chabassier

Xavier Denis

Louise Dubois De Prisque

Thiago Felicissimo

Yoan Geran

Gabriel Hondet

Antoine Lanco

Mickael Laurent

Amélie Ledein

Nicolas Meric

Glen Mevel

Houda Mouhcine

Clément Pascutto

Rébecca Zucchini

Visitors

Sébastien Bardin

Contact

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

Phone: +33 (0)1 81 87 54 50

Mail : lmf-contact@lsv.fr

Follow us

Legal Notice

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