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.
The Cyber Security Coalition uses cookies to optimize your user experience, to analyze website traffic and to enable the use of certain social media features.
Cookie | Duration | Description |
---|---|---|
cookielawinfo-checbox-analytics | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics". |
cookielawinfo-checbox-functional | 11 months | The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional". |
cookielawinfo-checbox-others | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other. |
cookielawinfo-checkbox-advertisement | 1 year | The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Advertisement". |
cookielawinfo-checkbox-necessary | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary". |
cookielawinfo-checkbox-performance | 11 months | This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance". |
viewed_cookie_policy | 11 months | The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data. |