• 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 Interactions

Members

Faculty

Pablo Arnault

Pablo Arrighi

Véronique Benzaken

Dietmar Berwanger

Valentin Blot

Benedikt Bollig

Patricia Bouyer-Decitre

Thomas Chatain

Evelyne Contejean

Marc De Visme

Stéphane Demri

Alain Finkel

Caroline Fontaine

Matthias Fuegger

Jean Goubault-Larrecq

Stefan Haar

Serge Haddad

Thomas Nowak

Guillaume Scerri

Stefan Schwoon

Benoît Valiron

Renaud Vilmart

Lina Ye

Vladimir Zamdzhiev

Emeriti

Philippe Dague

Paul Gastin

Postdocs and Engineers

Thomas Chevet

Augustin Vanrietvelde

PhD Students

Giann Karlo Aguirre Samboni

Agustín Pablo Borgna

Margot Catinaud

Kostia Chardonnet

Gustave Cortal

Marin Costes

Fabricio Cravo

Ilham Dami

Nicolas Heurtel

Vijay Dave Kinnari

Roman Kniazev

Louis Lemonnier

Aliaume Lopez

Marc Renard

Jérôme Ricciardi

Zhuofan Xu

Visitors

Luidnel Maignan

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-10-29@19:31