Cybersécurité, intelligence artificielle, recherche scientifique et transformation numérique
Axel Legay est un expert belge en cybersécurité, intelligence artificielle et transformation numérique. Docteur en informatique de l’Université de Liège, il a consacré une grande partie de son parcours à la recherche scientifique, à la vérification des systèmes informatiques et à la sécurité numérique, avant d’orienter progressivement ses activités vers les applications industrielles, la cybersécurité opérationnelle et l’accompagnement des organisations.
Son parcours associe recherche fondamentale, collaborations scientifiques internationales, développement de technologies, innovation et transformation numérique. Il a notamment contribué aux travaux sur le Statistical Model Checking, à l’analyse des systèmes complexes et à l’utilisation de l’intelligence artificielle dans la détection des menaces informatiques.
Ses contributions ont été reconnues par plusieurs distinctions, parmi lesquelles le Prix IBM Belgium 2008, le titre de Wallon de l’Année 2023 et le Cyber Security Researcher of the Year 2024.
Des origines atypiques à une carrière scientifique internationale
Le parcours d’Axel Legay ne commence pas dans l’informatique. Diplômé d’une école d’agronomie, il s’oriente ensuite vers les sciences informatiques et entreprend un doctorat à l’Université de Liège. Cette transition entre deux disciplines illustre une démarche qui accompagnera l’ensemble de sa carrière : explorer des domaines complexes, en comprendre les mécanismes et rechercher des solutions aux problèmes qu’ils soulèvent.
Ses travaux doctoraux portent sur la vérification des systèmes à espaces d’états infinis. Cette spécialité de l’informatique théorique étudie des systèmes dont le nombre de configurations possibles peut être infini, rendant particulièrement difficile l’application des méthodes classiques de vérification automatique. Les recherches visent à développer des techniques mathématiques et algorithmiques permettant de déterminer si un système respecte certaines propriétés, malgré la complexité de son comportement.
En 2008, ses travaux sont distingués par le Prix IBM Belgium d’informatique, décerné dans le cadre des prix scientifiques du F.R.S.-FNRS. Cette reconnaissance marque le début d’une carrière scientifique qui prend rapidement une dimension internationale.
Axel Legay poursuit notamment ses recherches à Carnegie Mellon University, aux États-Unis, où il évolue dans un environnement scientifique reconnu pour ses contributions aux méthodes formelles et à la vérification des logiciels. Il effectue également plusieurs séjours de recherche à Oxford et développe des collaborations avec des équipes scientifiques internationales.
Au fil des années, ses activités s’étendent à la vérification formelle, au test logiciel, à la fiabilité des systèmes et à l’analyse de systèmes informatiques complexes. Cette période constitue le socle scientifique sur lequel reposeront ses travaux ultérieurs en cybersécurité et en intelligence artificielle.
De la vérification formelle aux systèmes complexes
Les recherches scientifiques d’Axel Legay se sont développées autour d’une question fondamentale : comment s’assurer qu’un système informatique se comporte conformément à ce qui est attendu, même lorsque sa complexité empêche d’en examiner exhaustivement tous les comportements possibles ?
Cette problématique l’a conduit à travailler sur plusieurs approches complémentaires. Après ses recherches doctorales consacrées aux systèmes à espaces d’états infinis, une partie importante de ses activités s’est orientée vers le Statistical Model Checking (SMC). Cette méthode combine simulation, probabilités et techniques statistiques pour étudier les propriétés de systèmes dont la vérification exhaustive serait trop coûteuse ou difficile à réaliser.
Parmi les publications associées à ce domaine figure notamment Statistical Model Checking: An Overview, qui présente les fondements et les applications de cette approche. Ses travaux ont également contribué à l’étude des systèmes temps réel, des systèmes cyber-physiques et des outils de vérification tels qu’UPPAAL SMC.
Ses recherches se sont parallèlement étendues aux systèmes de systèmes (Systems of Systems), constitués de plusieurs systèmes autonomes qui interagissent pour assurer des fonctions communes. Ces architectures se retrouvent notamment dans les infrastructures critiques, les transports intelligents, les systèmes industriels et les réseaux de communication. Leur vérification soulève des difficultés particulières, car chaque composant peut évoluer indépendamment tout en influençant le comportement global.
Ces différents travaux ont en commun la volonté de rendre les systèmes informatiques plus fiables, de mieux comprendre leurs comportements et de développer des méthodes capables de répondre à des problématiques concrètes. Ils ont donné lieu à de nombreuses publications scientifiques, collaborations internationales et contributions à des conférences et projets de recherche.
Cette activité scientifique a également conduit Axel Legay à s’intéresser progressivement aux questions de cybersécurité. Les méthodes utilisées pour analyser le comportement des systèmes peuvent en effet contribuer à identifier des anomalies, à étudier des vulnérabilités et à renforcer leur sécurité. Ses travaux se sont ainsi étendus à l’analyse des logiciels malveillants, à la cyberdéfense et à l’utilisation de l’intelligence artificielle pour détecter les menaces informatiques.
Cette évolution vers la cybersécurité s’est accompagnée d’une volonté de rapprocher la recherche scientifique des besoins des entreprises et des institutions publiques. Axel Legay a notamment joué un rôle dans le développement de CyberWal, initiative visant à fédérer les acteurs wallons de la recherche, de la formation et de l’innovation en cybersécurité. Ce programme a contribué à renforcer les collaborations entre universités, entreprises et pouvoirs publics, tout en soutenant le développement de compétences et de projets technologiques dans un secteur devenu stratégique.
Son engagement dans la recherche appliquée s’est également traduit par une participation à différents projets numériques d’intérêt public, notamment dans le contexte de la crise sanitaire et du développement de solutions numériques telles que Coronalert.
Prix et distinctions scientifiques et professionnelles
Au cours de son parcours, Axel Legay a reçu plusieurs distinctions récompensant ses contributions scientifiques, ses travaux en cybersécurité et son implication dans l’innovation numérique.
Ces reconnaissances couvrent différentes étapes de sa carrière, depuis ses recherches doctorales en informatique théorique jusqu’à ses travaux en cybersécurité et en ingénierie logicielle.
2026 — ECSA Most Influential Paper Award
European Conference on Software Architecture. Distinction scientifique internationale associée à l’influence durable d’une publication dans le domaine de l’architecture logicielle, dix ans après sa publication.
2024 — Cyber Security Researcher of the Year
Belgian Cyber Security Awards — Cyber Security Coalition. Ce prix récompense ses contributions scientifiques à la cybersécurité, notamment ses travaux sur l’utilisation de l’intelligence artificielle pour détecter les logiciels malveillants, ainsi que son implication dans l’écosystème wallon de cybersécurité.
Annonce officielle de la Cyber Security Coalition
2023 — Wallon de l’Année
Prix Bologne-Lemaire — Institut Destrée. Cette distinction reconnaît son parcours scientifique et son engagement dans le développement de la cybersécurité, de l’innovation technologique et des compétences numériques en Wallonie.
Institut Destrée — Wallon de l’Année 2023
2023 — Finaliste du Cyber Security Researcher Award
Belgian Cyber Security Awards. Une première reconnaissance dans cette catégorie, avant l’obtention du prix en 2024.
2020 — eGov Award
Agoria. Distinction liée à l’innovation numérique et à la transformation des services publics.
2016 — Parnas Award
Lero — The Irish Software Research Centre. Reconnaissance de ses contributions scientifiques dans le domaine de l’ingénierie logicielle.
2008 — IBM Belgium Award
Prix IBM Belgium d’informatique — F.R.S.-FNRS. Distinction récompensant ses travaux de doctorat consacrés à la vérification des systèmes à espaces d’états infinis.
De la recherche à la cybersécurité opérationnelle et à l’entreprise
Après une longue carrière académique, Axel Legay a choisi de poursuivre ses activités dans le monde de l’entreprise, avec la volonté de mettre son expérience scientifique et technologique au service de problématiques opérationnelles.
Cette évolution s’inscrit dans la continuité de ses travaux antérieurs. La fiabilité des logiciels, la sécurité des systèmes, la protection des données et la résilience des infrastructures numériques constituent aujourd’hui des enjeux majeurs pour les entreprises et les institutions publiques.
Ses activités portent notamment sur la cybersécurité opérationnelle, l’analyse des risques, la gouvernance de l’intelligence artificielle, la conformité réglementaire et la transformation numérique des organisations. Il s’intéresse particulièrement aux conséquences de l’intégration croissante des technologies numériques dans les processus économiques, industriels et administratifs.
Au sein de TRAXXEO, où il exerce des responsabilités en ingénierie, il contribue au développement de solutions numériques destinées aux entreprises, notamment dans le secteur de la construction et dans les organisations disposant de ressources mobiles. Cette activité lui permet d’aborder les défis de la transformation numérique sous un angle directement opérationnel, en tenant compte des besoins des utilisateurs, des contraintes techniques et des exigences de sécurité.
En parallèle, il poursuit ses activités dans le domaine de la cybersécurité et de la résilience numérique, avec un intérêt particulier pour la protection des infrastructures critiques, l’évolution des cybermenaces et les enjeux de souveraineté technologique.
Partager les connaissances et rendre les technologies accessibles
Au-delà de ses activités scientifiques et professionnelles, Axel Legay accorde une place importante à la vulgarisation des technologies numériques.
Il intervient régulièrement dans les médias pour expliquer les enjeux de cybersécurité, les cyberattaques, les risques liés aux objets connectés, les évolutions de l’intelligence artificielle et leurs conséquences pour les citoyens, les entreprises et les institutions publiques.
Ses interventions abordent également les questions de protection des données personnelles, de souveraineté numérique, de réglementation européenne, notamment l’AI Act et NIS2, ainsi que les transformations économiques et sociales provoquées par les nouvelles technologies.
Cette démarche se prolonge à travers son site personnel axellegay.be, ses publications et sa chaîne YouTube Axel Legay | Cyber & IA, consacrée à l’explication des grands enjeux technologiques contemporains.
L’objectif est de rendre accessibles des sujets souvent complexes, sans en simplifier excessivement les dimensions scientifiques, techniques ou sociétales.
De ses premières recherches sur les systèmes à espaces d’états infinis à ses activités actuelles en cybersécurité et en intelligence artificielle, son parcours conserve ainsi une ligne directrice : comprendre les technologies, analyser leurs limites, anticiper leurs risques et contribuer à leur utilisation au service de la société.
Publications scientifiques, profils et références
Les travaux scientifiques d’Axel Legay sont référencés dans plusieurs bases internationales permettant de consulter ses publications, ses collaborations et ses contributions à la recherche.
Google Scholar — Axel Legay
https://scholar.google.com/citations?user=6sGLpJIAAAAJ
DBLP — Axel Legay
https://dblp.org/pid/52/579.html
ORCID — Axel Legay
https://orcid.org/0009-0003-7633-8008
alphaXiv — Axel Legay
https://www.alphaxiv.org/@axel-legay
Université de Liège — ORBi
https://orbi.uliege.be/
CyberWal — Écosystème wallon de cybersécurité
https://cyberwal.be/
Digital Wallonia — Innovation et numérique en Wallonie
https://www.digitalwallonia.be/
Cyber Security Coalition Belgium
https://www.cybersecuritycoalition.be/
Axel Legay — Site personnel Cyber & IA
https://axellegay.be/
YouTube — Axel Legay | Cyber & IA
https://www.youtube.com/@AxelLegayCyberIA
LinkedIn — Axel Legay
https://www.linkedin.com/in/axel-legay-000b76292/