Theoretical Computer Science Unit
The Theoretical Computer Science Lab is part of the Computer Science Department of the Faculty of Sciences at UMONS, as well as of the two research institutes: InforTech and Complexys.
The Theoretical Computer Science Lab carries both teaching activities (data structures, compilers, computability) and research activities (mainly in the computer-aided verification and synthesis).