Research activities The research themes currently addressed by members of the service include model theory, verification and the application of mathematics to urban planning issues. Our unit is also associated with the following UMONS research institutes :