Activités de recherche
Notre champ de recherche est vaste et nos techniques s’adaptent à de nombreux contextes. Deux exemples de domaines précis : la synthèse de contrôleurs fiables pour les systèmes informatiques embarqués, le développement d’IAs explicables avec des garanties fortes.
Notre service est, par ailleurs rattaché à un institut de recherche de l’UMONS :
