I did my PhD under the supervision of Jean-François Raskin at Université Libre de Bruxelles, 2006.
I have been postdoctoral researcher in the group of Tom Henzinger at École Polytechnique Fédérale de Lausanne (EPFL). 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.

Papers - Talks

Highlights

• - 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

• 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: 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

• 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

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)