Le laboratoire est structuré en trois axes, doté chacun d’un responsable scientifique:

• HDMI (Histoire et Didactique de l’Information et des Mathématiques)

Responsable : Dominique Tournès

• DCIC (Données, Connaissances et Informatique Communicante)

Responsable : Pascal Anelli

• MDLV (Mathématiques Discrètes, Logique et Vérification)

Responsable : Marianne Morillon

Chaque axe dispose de thématiques de recherche, membres, groupe de travail, projets et publications qui leur sont spécifiques. Les travaux réalisés couvrent des aspects variés, avec un spectre étendu aussi bien en recherche fondamentale qu’en recherche appliquée.