• 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 Modèles

Members

Faculty

Idir Ait-Sadoune

Pablo Arrighi

Thibaut Balabonski

Dietmar Berwanger

Sylvie Boldo

Benedikt Bollig

Frédéric Boulanger

Patricia Bouyer-Decitre

Thomas Chatain

Sylvain Conchon

Stéphane Demri

Laurent Doyen

Alain Finkel

Laurent Fribourg

Matthias Fuegger

Jean Goubault-Larrecq

Stefan Haar

Serge Haddad

Stéphane Le Roux

Philippe Schnoebelen

Stefan Schwoon

Mihaela Sighireanu

Safouan Taha

Frédéric Voisin

Burkhart Wolff

Lina Ye

Fatiha Zaidi

Emeriti

Philippe Dague

Paul Gastin

Postdocs and Engineers

PhD Students

Georges Aazan

Benjamin Bordais

Fabricio Cravo

Valentin Fouillard

Baptiste Gueuziec

Lulu He

Mathieu Hilaire

Jawher Jerray

Alexandrina Korneva

Nicolas Meric

Sayan Mukerjee

Zujany Salazar Aquino

Thomas Soullard

Olivier Stietel

Amrita Suresh

Nathan Thomasset

Pierre Vandenhove

Isa Vialard

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:18