Summary
I am a PhD student cosupervised by Mickael Randour at the UniversitĂ© de Mons (UMONS) in the Mathematics department of the Faculty of Science, and JoostPieter Katoen at the RWTH Aachen University in the Computer Science department.
Before starting my PhD thesis in September 2018, I obtained my Master's degree in Computer Science at UMONS
My research interests are about
 Formal verification and strategy synthesis in stochastic systems
 Planning problems in partially observable probabilistic systems
 Reinforcement learning for verification and safety in reinforcement learning
I am also interested in the combination of formal methods and machine learning in general.
Projects and Tools
SSP Solver
[link]

SSP Solver is a tool that synthesizes strategies for different stochastic shortest path problems in Markov Decision Processes (e.g., minimization of the expected cost to a set of target states in the MDP, or maximization of the probability to reach this target set with a cost bounded, ...).
Statechart Visualizer
[link]

In UML, statecharts form a visual modeling language for representing the executable behavior of complex reactive eventbased systems. According to the description of a system, the tool allows to generate a pretty visual representation of its statechart. Moreover, it also allows to add visual constraints on states of the statechart (e.g., the state A has to be right to the state B, etc.).
Publications
 Life is Random, Time is Not: Markov Decision Processes with Window Objectives: Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour , CONCUR'19 (extended version on arXiv).
Teaching
Attended events
 2019: Learning and Automata @ LICS'19 (SFU, Vancouver), Multiobjective Reasoning in Verification and Synthesis @ LICS'19 (SFU, Vancouver), Formal Methods and AI 2019 (IRISA Rennes), SyntCamp @ ETAPS'19 (Charles University, Prague), Learning in Verification @ ETAPS'19 (Charles University, Prague), Theory and Algorithms in Graph and Stochastic Games (UMONS), MdC'19 (UMONS).
 2018: HIGHLIGHTS of Logic, Games and Automata (Technical University of Berlin), MOVEP (ENS ParisSaclay), Multiobjective Reasoning in Verification and Synthesis @ FLoC'18 (University of Oxford), FoPPS Logic and learning @ FLoC'18 (University of Oxford), Logic and learning (The Alan Turing Institute, London).