Axel Legay

Axel Legay is Professor of Computer Science at UCLOUVAIN. He also used to work at Inria as team leader in cyber security. He received his Ph.D. in Computer Science from the University of Liège, Belgium. His main research interests are in formal verification and cyber security. He is a founder and major contributor of statistical model checking (a statistical variant of model checking effectively used in industry), malware analysis via artificial intelligence, and software vulnerability analysis. With more than 30 publications, he is a referee for top journals and conferences in formal verification. He also advised Ministry of Economy in its process of promoting a digital transformation, he is coordinator of the Cyberwal, the new Walloon platform for cybersecurity strategic innovation and he is co-creator of the Corona Alert application.