Axel Legay is a Professor at UCLouvain (Belgium) where he leads the cybersecurity and formal verification lab. He received his Ph.D. in Computer Science from the University of Liège, Belgium. He also held a postdoctoral position at Carnegie Mellon under the supervision of Edmund. M. Clarke (Turing award winner). Before joining UCLOUVAIN, Legay was a team leader for Tamis, one of the biggest cybersecurity team at Inria (France). Legay's main research interests are in formal verification and security. He is particularly interested in the integration of artificial intelligence techniques in the design security validation processes. He is a founder and major contributor of statistical model checking (a statistical variant of model checking effectively used in industry) that he applied to various safety and security problems. He is co-authors of more than 400 articles on this topic. He co-advised more than 20 students and has been a national PI for more than 50 projects. Legay regularly collaborates with industry through (public-)private partnerships. He is also a consultant for Belgian and European companies. Since 2021, Legay has been leading the CyberWal by digital wallonia research and innovation program. The latter brings together all the active forces (industries and academies) in the field of cyber security. In particular, CyberWal maintains a factory of tools and software that will be made available to NATO in the context of the DIANA initiative. Legay is a member of the digital council of the Walloon government and of the digital minds of the federal government.