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
 Partially observable probabilistic systems (like POMDPs)
 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 synthesises strategies for different stochastic shortest path problems in Markov Decision Processes (e.g., minimisation of the expected cost to a set of target states in the MDP, or maximisation of the probability to reach this target set with a cost bounded, ...).
Statechart Visualizer
[link]

In UML, statecharts form a visual modelling language for representing the executable behaviour of complex reactive eventbased systems. Following the description of a system, the tool allows to generate a pretty visual representation of this statechart. Moreover, this program allows to add visual constraints of some states (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 , 2019 (preprint on arXiv) .
Teaching
Attended events
 2019: Theory and Algorithms in Graph and Stochastic Games (UMONS), Mardi des Chercheurs (UMONS).
 2018: HIGHLIGHTS of Logic, Games and Automata (Technical University of Berlin), MOVEP (ENS Cachan), MoRe at FLoC 2018 (University of Oxford), Logic and learning at FoPPS 2018 (University of Oxford), Logic and learning (The Alan Turing Institute, London).