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

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

Responsable : Sébastien Hoarau

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

Responsable : Noël Conruyt

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