Speaker
Jean-François Raskin
Université Libre de Bruxelles, Belgium
Bio
Jean-François Raskin is a professor of computer science at the Université libre de Bruxelles (ULB) working on formal methods for the verification and synthesis of reactive systems. His research focuses on graph games—including quantitative and imperfect-information models—and their applications to controller synthesis. More recently, he has studied multi-player games and their applications to rational synthesis and verification. He has also contributed to approaches that combine reactive synthesis with learning techniques.