Research Areas

Discrete Models for Complex Systems

The MDSC group (Modèles Discrets pour les Systèmes Complexes) carries out both fundamental and applied research on complex discrete systems. Its members are experts in constraint programming to deal with static systems (i.e. combinatorial problems) and automata theory to deal with discrete dynamical systems. Results find their application in various fields such as bioinformatics, transport, text generation, communicating systems and computer security.

MDSC structures its activities around two main teams: