Welcome

The Theoretical Computer Science 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, compilers, computability (teaching).

The lab is directed by Véronique Bruyère, and is part of the Department of Computer Science of the Faculty of Sciences of the University of Mons, Belgium.