The formal methods and verification group is one of the research groups of the Computer Science department at ULB’s Science Faculty, and is led by Thierry Massart and Jean-François Raskin. The team’s research and teaching activities deal with rigorous methods that allow to design reliable computer systems. The latter are usually applied in the context of critical systems, such as embedded systems in transportation (e.g., trains, planes, cars), and plant’s control systems.

The group has acquired an internationally acclaimed expertise, underpinned by numerous collaborations, and international research projects.