My research interests include:

• Game and automata theory,
• (Discrete) quantitative and probabilistic systems,
• Timed and hybrid systems,

If you are a student interested in doing an internship, PhD thesis, or a post-doc, please contact me. See also the current opening for post-doc position

Papers - Talks

Highlights

• - Festschrift Dedicated to Tom Henzinger on the Occasion of His 60th Birthday (Springer, 2022)
• Expected Finite Horizon (LICS 2019)
• The Complexity of Synchronizing Markov Decision Processes (CoRR 2016, JCSS 2019)
• Partial-Observation Stochastic Games: How to Win when Belief Fails (CoRR 2011, LICS 2012, ToCL 2014)
• Antichains Algorithms for Finite Automata (TACAS 2010)
• Energy Parity Games (ICALP 2010)
• Mean-Payoff Automaton Expressions (CONCUR 2010)

Students

• Pranshu Gaba (Finitary Quantitative Games for Reactive Synthesis, since 2023, co-advised with Shibashis Guha)
• Thomas Soullard (Synthesis for games of imperfect information under full-information protocols, 2021 - 2025, co-advised by Dietmar Berwanger)
• Julien Reichert (Reachability Games with Counters: Decidability and Algorithm, 2011 - 2015, co-advised by Dietmar Berwanger)
  now Prof. in 'Classe Prepa'
• Mahsa Shirmohammadi (Qualitative Analysis of Probabilistic Synchronizing Systems, 2010 - 2014, co-advised by Thierry Massart).
  now CNRS researcher

• Antichains
• The tool Alaska
• The tool Alpaga
• Almost ASAP semantics

• Organizer: STSV 2012, GAMES 2011, PaVAS 2011
• PC member: LICS 2024, ICALP 2024, CSR 2021, LATA 20&21, GandALF 2016, GandALF 2015, RP 2014, CSL-LICS 2014, STACS 2014, FSTTCS 2013, QFM 2012, ICE 2011, Formats 2010, ICE 2010
• Invited speaker: RP 2017, WATA 2014, INFINITY 2013, ACTS 2010, PSY 2009
• Summer school lecture: EJCIM 2010, MOVEP 2008

• IFCPAR project SMILeS (coPI) - Synthesis with Multiple objectives, Imperfect information, and Learning in Stochastic systems
• Rutherford Visiting Fellow (U. Warwick) - Fast​ ​algorithms​ ​for​ ​synthesis​ ​of safe,​ ​smart​ ​and​ ​adaptive​ ​controllers
• Cassting - Collective Adaptative Systems Synthesis With Non-zero-sum Games
• QuaVerif (PI) - Quantitative Verification for Reactive Systems
• ARiSE: Austrian Rigorous Systems Engineering
• Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems
• Gasics: Games for Analysis and Synthesis of Interactive Computational Systems
• COMBEST: COMponent-Based Embedded Systems design Techniques
• Artist2 NOE: Network of Excellence on Embedded Systems Design

• GAMES: Games for Design and Verification
• CFV: Centre Fédéré en Vérification
• GDR-IM: Groupe de Recherche Informatique Mathématique
• Rich-Model Toolkit

Automates d'Arbres et Applications (MPRI)
Préparation Agrégation Informatique
Game theory in computer science (MPRI)
Introduction to research (MPRI, 2014, 2015, 2016)
Verification of dynamic and parameterized systems (MPRI, 2011)

Logique informatique (TA, ULB, 2009)
Theoretical Computer Science III (TA, EPFL, 2006-2007)
Real-Time and Hybrid Systems: Analysis and Control (TA, ULB, 2002-2006)

Cycling
L'étape du Tour - Photos...
Tour of Austria
Alpenbrevet
Polygiro
Liege-Bastogne-Liege 2014 (279km, start: 6:28am, finish: 6:17pm)
24h Le Mans 2019 (674km)
Running
Marathon Paris
20km Lausanne
20km Bruxelles
Marathon Lausanne

Record
Marathon: 2h 58m 39s (Paris, 2015)
20km: 1h 19m 41s (Lausanne, 2009)
10km: 38m 14s (Cachan, 2010)
History

Belgium
La Belgique expliquée aux Français (mp3 - Alex Vizorek, France Inter, Ve 11 oct 2013, 8:55)
La Belgique pour les nuls (pdf - Le Soir, Ve 16 avr 2010)