Vous êtes ici

Le chercheur belge Mickaël Randour invité par l’IMDEA Software Institute à la conférence "Reachability Problems" (Pozuelo de Alarcón, Communauté de Madrid)

M. Randour en IMDEA Software Institute
M. Randour en IMDEA Software Institute

Mickaël Randour est maître de recherches au Fonds de la Recherche Scientifique (FNRS), l’une des plus prestigieuses institutions de recherche en Belgique, et dirige le département de Mathématiques de l’Université de Mons (UMONS), au sein de la Faculté des Sciences, reconnue pour l’excellence de sa recherche en mathématiques et en informatique.

Il a obtenu son doctorat en informatique dans le cadre d’un programme conjoint entre l’Université Libre de Bruxelles (ULB) et l’UMONS, financé par le FNRS. Sa thèse lui a valu le prestigieux Prix Ackermann 2015, décerné par l’European Association for Computer Science Logic (EACSL) pour la meilleure thèse en logique informatique, qu’il a été invité à présenter à la Computer Science Logic 2015 à Berlin.

Ses travaux se situent à l’intersection des mathématiques et de l’informatique, avec un accent particulier sur la théorie des jeux, la vérification formelle, l’intelligence artificielle et la synthèse de contrôleurs fiables pour les systèmes réactifs.
Il dirige actuellement de grands projets de recherche financés par le FNRS, tels que ManySynth et ControlleRS.      

Il est co-auteur d’un ouvrage, de 12 articles scientifiques et de 31 publications dans des conférences internationales. Il contribue significativement au rayonnement international de la recherche belge et a notamment reçu le Best Paper Award – CONCUR 2019, pour son article Games Where You Can Play Optimally with Arena-Independent Finite Memory, coécrit avec Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj et Pierre Vandenhove.

Parallèlement à ses activités de recherche, Mickaël Randour s’engage dans la vulgarisation scientifique en Belgique, notamment à travers des interventions dans des émissions telles que Les Éclaireurs sur La Première (RTBF), où il aborde des thèmes liés à la fiabilité informatique et à la théorie des jeux.

Fort de cette expertise et de la reconnaissance internationale de ses travaux, Mickaël Randour était l’un des chercheurs invités à la conférence “Reachability Problems” (RP) — organisée par l’IMDEA Software Institute à Pozuelo de Alarcón (Communauté de Madrid) le 3 octobre 2025. WBI a soutenu sa participation à cet événement, qui rassemble des chercheurs de renommée mondiale, car elle illustre parfaitement le type de coopération académique que nous encourageons : des échanges de haut niveau qui renforcent les liens entre institutions européennes et favorisent la visibilité internationale de la recherche belge.

La conférence RP est une rencontre annuelle de chercheurs qui s’intéressent à une question fondamentale en informatique et en mathématiques, que l’on peut vulgariser ainsi : « Peut-on aller du point A au point B ? »
Les participants s’efforcent de comprendre comment les éléments se connectent et évoluent au sein de divers systèmes mathématiques et informatiques. Cette problématique trouve des applications directes dans de nombreux domaines : informatique (un programme peut-il atteindre un certain état ou produire un certain résultat ?), réseaux (un message peut-il voyager d'un ordinateur à un autre au sein d’un réseau ?), robotique (un robot peut-il se déplacer d'un endroit à un autre sans heurter d'obstacles ?), biologie (une cellule peut-elle passer d'un état à un autre sur la base de réactions chimiques ?).

Les chercheurs invités à l’IMDEA Software Institute ont partagé leurs dernières découvertes et méthodes pour résoudre ces problématiques d’accessibilité.
Les travaux de Mickaël Randour sur la théorie des jeux et les systèmes réactifs s’inscrivent pleinement dans cette thématique, contribuant à rendre les ordinateurs, les réseaux et les robots plus fiables et plus efficaces.
Ainsi, sa participation à la conférence RP renforce à la fois la présence scientifique belge à l’international et le rôle de WBI dans la promotion de collaborations européennes ambitieuses dans des domaines clés tels que la cybersécurité, l’intelligence artificielle et la biologie.