Research activities

Our main research interests are in computer aided verification and synthesis : game theory and its application to verification and synthesis, verification and control of timed and hybrid systems.

Our other research interests are in automata theory, combinatorics on words, variable-length codes, and extremal graph theory.

Our unit is also associated with the following UMONS research institutes :