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.
Please, explain why you nominate this person for the award and briefly outline which outstanding contribution(s) your nominee has made in one the following areas:
Please, confirm you are human. How much is 3 + 2? Please leave this field empty.