GT Data, Automata, Algebra, & Logic (DAAL) – GDR IM

This list is not updated anymore, the official list is handled here.

On this page you will find the list of laboratories involved in the activities of the activities and for each of them the participating members (faculty members, PhD students, and postdocs), as well as a list of projects. If you are a member of one of these laboratories but do not appear in the list of members, please contact us!



LS2N (Laboratoire des Sciences du Numérique de Nantes)

Local correspondent: Didier Lime

PhD Students & Postdocs

  • Bastien Sérée
  • Peidong Zhang

Projects

DAVID (Université de Versailles & CNRS)

Local correspondent: Yann Strozecki

PhD Students & Postdocs

  • Xavier Badin De Montjoye

LIPN (Laboratoire d'Informatique de Paris Nord)

Local correspondent: Thomas Seiller

LITIS (Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes & Université de Rouen)

Local correspondent: Giovanna Guaiana

PhD Students & Postdocs

  • Amazigh Amrane
  • Clément Miklarz
  • Ali Chouria
  • Alexandre Durand

LIX (Laboratoire d'Informatique de l'Ecole Polytechnique)

Local correspondent: Olivier Bournez

Faculty members

PhD Students & Postdocs

  • Johan Girardot
  • Quentin Guilmant

LRI (Université Paris sud & CNRS)

Correspondante locale: Johanne Cohen

PhD Students & Postdocs

IMJ – Équipe de Logique Mathématique (Université Paris Diderot – Paris 7 & CNRS)

Local correspondent: Olivier Finkel

Projects

  • ANR CompA (Complexité Algébrique): Projet ANR
  • Requêtes d'Agrégation (AGGREG): Projet ANR

LIG (Université Joseph Fourier, CNRS & INRIA)

Local correspondent: Panayotis Mertikopoulos

Projects

  • ORACLESS: Online resource allocation for unpredictable large-scale wireless systems: Projet ANR JCJC
  • GAGA: Geometric Aspects of GAmes: Projet ANR JCJC
  • HEAVY.NET: Optimization and analysis of heavily congested networks: Projet PGMO
  • ULTRON: Ultra-low latency scheduling via game theory and online learning: Projet Flagship Huawei

Belgique

Local correspondent: Mickael Randour

Faculty members

PhD Students & Postdocs

Université de Mons
Université Libre de Bruxelles
Université de Liège
Université catholique de Louvain
Université de Namur

Projects

LTCI (Telecom ParisTech)

Local correspondent: Antoine Amarilli

GREYC (Université de Caen, ENSICAEN & CNRS)

Local correspondent: Etienne Grandjean

PhD Students & Postdocs

Projects

  • Requêtes d'Agrégation (AGGREG): Projet ANR