Organigramme du LIFO

Fleche
Direction

Direct(eur/rice) : Mirian HALFELD-FERRARI

Direct(eur/rice) adjoint : Pascal BERTHOME

Fleche
Personnel Administratif et Technique

Secrétariat

Isabelle RENARD

Ingénieurs Recherche

Naly RALIRAVAKA
Comité Scientifique

2 représentants extérieurs par équipe

Observateur ICVL : Dominique LAURENT (ETIS/Univ. Cergy-Pontoise)

  • Gildas AVOINE (IRISA/INSA de Rennes)

  • Sébastien BARDIN (LIST/CEA)

  • Rob BISSELING (Utrecht University)

  • Olivier BOURNEZ (LIX/École Polytechnique)

  • Armelle BRUN (LORIA/Université Lorraine)

  • Johanne COHEN (LISN/Paris Saclay)

  • Jean-Christophe FILLIÂTRE (LMF/Paris Saclay)

  • Marieke HUISMAN (Univ. Twente)

  • Pierre MARQUIS (CRIL/Université d'Artois)

  • Karine ZEITOUNI (DAVID/UVSQ Paris Saclay)

Équipes Thématiques

CA : Contraintes et Apprentissage

Marcilio PEREIRA DE SOUTO

GAMoC : Graphes, Algorithmes et Modèles de Calcul

Nicolas OLLINGER

LMV : Langages, Modèles et Vérification

Frédéric LOULERGUE

Pamda : Parallélisme et Bases de Données

Sophie ROBERT

SDS : Sécurité des Données et des Systèmes

Laurent BOBELIN
Fleche

PETSCRAFT : Equipe-projet INRIA

Benjamin NGUYEN
Actions Transverses

Sciences Avec et Pour la Société (SAPS)

Hygiène et Sécurité

Relations Internationales

Bibliothèque

Communication

Développement Durable

Séminaires

HAL & Science Ouverte

GT - Locaux

Dir. dept info UFR
Dir. LIFO
Ingé rech dept + LIFO