Theoretical Computer Science Lab
The Theoretical Computer Science Lab is part of the Computer Science Department of the Faculty of Sciences of UMONS. The Lab participates in research and teaching activities in the field of theoretical computer science: formal methods for the verification and synthesis of computer systems (research) and data structures, compilation, computability (teaching).
The Theoretical Computer Science Lab is part of two research institutes: Complexys (Research Institute for Complex Systems) and Infortech (Research Institute for Information Technology and Computer Science)
.
Contact person
