You are here
Dr Axel Legay held positions at University of Liège and CMU (under the supervision of Ed Clarke). He is now full-time researcher at INRIA where he leads the Tamis team (32 researchers), and a part-time Velus Industry Professor at University of Aalborg. His main research interests are in developing formal specification and verification techniques for SE. Dr Legay is a founder and major contributor of statistical model checking (a statistical variant of model checking effectively used in industry). He also co-created the Feature-Transition Systems framework. Recently, he has been working on malware analysis and learning-based algorithms. Dr Legay supervised five PhD theses and authored more than 300 peer-reviewed publications. He is a referee for top journals and conferences in formal verification and simulation, and program co-chair of INFINITY’09, FIT’10, RV'13,HVC'13,FORMATS'14,ATVA'16, and TACAS'17. He is also workshop chair at ETAPS’14. He is (was) principal investigator on more than 10 national projects, and 9 EU projects.