• Login

en fr

Navigation
  • About LMF
  • Research
      • 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-projet?
        • Deducteam
        • Mexico
        • Toccata
        • QuaCS
      • 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

Thomas Nowak

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

Thomas Chevet

Adrien Durier

PhD Students

Georges Aazan

Benoit Ballenghien

Benjamin Bordais

Fabricio Cravo

Valentin Fouillard

Souhila Founas

Baptiste Gueuziec

Alexandrina Korneva

Nicolas Meric

Thomas Soullard

Olivier Stietel

Nathan Thomasset

Pierre Vandenhove

Isa Vialard

Zhuofan Xu

Visitors

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