Jean-François Raskin

Email: jraskin [at] ulb [dot] ac [dot] be
SnailMail: ULB – Campus de la Plaine, CP212 – 1050 Bruxelles – Belgium
Tel: +32 2 650 55 92
Fax: +32 2 650 56 09

CV  I received a Master (1995) and a PhD (1999) in Computer Science from the University of Namur (Belgium). From Oct. 1995 until Sept. 1999, I was a junior research associate of the Belgian National Fund for Scientific Research (FNRS).  In Oct. 1999, I was appointed on a tenure-track Professor position in CS at the Université Libre de Bruxelles (ULB) where I received tenure in Oct. 02 and I am full professor since 2009.

My research is supported by the Fondation ULB. The fondation supports researchers in a large number of subjects. If you want to donate, please click on the following link.

Awards

Some recent talks

Publications

Recent projects

  • Centre Fédéré en Vérification (FNRS) – from 2002-…
  • GASSICS (ESF) – 2008-2011
  • Quasimodo (FP7) – 2008-2012
  • Cassting (FP7) – 2013-2016
  • inVEST (ERC) – 2012-2017
  • Non-Zero Sum Graph Games: Applications to Reactive Synthesis and Beyond (ARC) – 2016-2022
  • Subgame Perfection in Graph Games (PDR-FNRS) – 2018-2022
  • Verifying Learning Artificial Intelligence Systems (Excellence of Science program FNRS-FWO) – 2018-2023
  • On the verification of rationality and under rationality assumptions, with applications to reactive systems (PDR-FNRS) – 2022-2025.

PC chair, PC member, editorship

  • PC co-Chair of: FORMATS07, TIME09, ATVA14, TACAS16, MFCS17, GANDALF19, GANDALF20, CONCUR23.
  • PC Member of:  LICS 19, LATA19, MASES18, ICALP 18,  FOSSACS 18, CSL 17, FCT 17, Time17, SR16, SETTA 16, LICS16,  SETTA 15, MFCS15, ATVA 2015, ACSD 2015, TACAS 2015, SETTA2014, CAV14, LATA14, SOFSEM14, SR14, SYNT14, GANDALF13, ICALP’13, MSR13, CONCUR13, ACSD13, LATA13, RP12, ACSD12, CONCUR12, FM12, iWIGP12, TIME11, iWIGP11, GandALF11, FORMATS11, MSR11, STACS11, TIME10, MOVEP10, GandALF10, VECoS10, ACSD10, HSCC10, CAV10, APNOC09, FOSSACS09, TiSto09,CSL09, Games08, TIME08, ACSD08, FOSSACS08.
  • Associated editor of: TCS (2012-2021), LMCS (2012-…), TheoretiCS (2022-…)

PhD Students

  • Steve Kremer — Formal Analysis of Optimistic Fair Exchange Protocols — 2003
  • Laurent Van Begin — Efficient Verification of Counting Abstraction for Parametric Systems — 2003.
  • Laurent Doyen — Algorithmic Analysis of Complex Semantics for Timed and Hybrid Systems — 2006.
  • Martin De Wulf — From Timed Models to Timed Implementations — 2006.
  • Gilles Geeraerts — Coverability and Expressiveness Properties of Well-structured Transition Systems — 2007.
  • Pierre Ganty — The Fixpoint Checking Problem: an Abstraction Refinement Perspective — 2007.
  • Nicolas Maquet — New Algorithms and Data Structures for the Emptiness Problem of Alternating Automata — 2011.
  • Frédéric Servais — Visibly Pushdown Transducers — 2011.
  • Marc Ducobu — Antichains for QBF evaluation and VPA decision problems — 2013.
  • Mickaël Randour — Synthesis in Multi-Criteria Quantitative Games — 2014.
  • Aaron Bohy — Antichain based Algorithms for the Synthesis of Reactive Systems — 2014.
  • Noémie Meunier — Multi-Player Quantitative Games: Equilibria and Algorithms — 2016.
  • Guillermo Pérez — Regret and Partial Observability in Quantitative Games — 2016.
  • Quentin Hautem — The Complexity of Combining Objectives in Two-Player Games — 2018.
  • Ismaël Jecker —  Algorithmic Properties of Transducers — 2019.
  • Nicolas Mazzocchi — Contributions to formalisms for the specification and verification of quantitative properties — 2020.
  • Aline Goemine — Equilibria in Multi-player Games played on Graphs — 2021.
  • Clement Thamines —  On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs — 2022.
  • Raphaël Berthon — Interplays of Sure, Almost-Sure, and Threshold Parity Objectives on Markov Decision Processes — 2022.
  • Debraj Chakraborty –Monte Carlo Tree Search with Advice — 2022.
  • Mrudula Balachander — expected 2024.
  • Alexis Reynouard — expected 2025.
  • Léonard Brice — expected 2025

Post-docs

Links

Université libre de Bruxelles

Computer Science Department

Science Faculty