Professor of software security, Louvain-La-Neuve, Belgium
Axel Legay is Professor at UC Louvain. 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, testing, and cyber security . He is a founder and major contributor of statistical model checking (a statistical variant of model checking effectively used in industry), proveline (product lines analysis) , and malware analysis. He wrote more than 300 publications and he is a referee for top journals and conferences in those areas; He wrote several open source tools, and he has been institution PI for more than 30 projects.