Axel Legay 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 moving back to Belgium, Legay was a team leader for Tamis, one of the biggest cybersecurity teams at Inria (France). Legay's main research interests are in formal verification and security. He is particularly interested in integrating 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 a co-author of more than 400 articles on this topic. He co-advised over 20 students and has been a national PI for over 50 projects. Legay regularly collaborates with industry through (public-)private partnerships. He is also a consultant for Belgian and European companies. In 2021, Legay initiated 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.