Jean-François Raskin

Jean-François Raskin is a Full Professor in the Computer Science Department at the Université Libre de Bruxelles (ULB), where he has held tenure since 2002. His research focuses on formal verification, game theory, and quantitative analysis of reactive systems, with funding from the Fondation ULB and international projects like ERC, FP7, and FNRS. He received prestigious awards including an ERC Consolidator Grant (2011), IBM Faculty Award (2014), and ACM-SigSoft Most Influential Paper Award (2020).

His research explores multi-player games with ω-regular objectives, Markov decision processes, and reactive synthesis under rationality constraints. Key contributions include algorithms for subgame perfect equilibria, regret minimization, and tools like SynthLearn for guided synthesis. He has served as PC co-Chair for major conferences (FORMATS, TACAS, CONCUR) and authored over 250 publications.

Scientific Awards:

• ERC Starting Grant (2011)
• IBM Faculty Award (2014)
• Professeur Francqui de Recherche (2015-2018)
• ACM-SigSoft Most Influential Paper Award (2020)
• CONCUR'21 Best Paper Award

Advising & Collaborations: Supervised 23 PhD students and mentored 15 postdocs, including Emmanuel Filiot and Mickaël Randour. Collaborated with institutions like IST Austria, MIT, and INRIA on formal methods and AI integration.