Summary

I am a PhD student supervised by Mickael Randour from the Effective Mathematics Team at the University of Mons (UMONS).

My interests lie in formal methods and in the synthesis of reactive systems. I am also interested in stochastic models.

Research experience

Master's Thesis

UMONS, Belgium
Sept 2021 - Jun 2022
  • Title: Generation and exploitation of counterexamples in stochastic models.
  • Supervisor: Mickael Randour (UMONS).

Internship

AISIN Europe, Belgium
Sept 2021 - Nov 2021
  • Subject: Vehicle Routing Problem.

Master's Project

UMONS, Belgium
Sept 2020 - Jun 2021
  • Subject: Counterexample generation in stochastic models.
  • Supervisor: Mickael Randour (UMONS).

Publications

Peer-reviewed proceedings

Attended events

My talks with slides.
  • 2024:
    • Journées Annuelles du GT Vérif 2024 (Université de Lille, Lille, France).
    • Highlights'24: Highlights of Logic, Games and Automata (LaBRI, Bordeaux, France).
    • MOVEP'24: 16th School on Modelling and Verification of Parallel Processes (IRISA, Rennes, France).
  • 2023:
    • UniVr/UniUd Summer School on Formal Methods for Cyber-Physical Systems (CISM, Udine, Italy).
  • 2022:
    • ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms (Technion campus, Haifa, Israel).

Teaching

Effective Mathematics

Teaching Assistant
Sept 2023 - Present
4th year Mathematics
Exercise sessions for the course given by Thomas Brihaye.

Elementary Mathematics

Teaching Assistant
Sept 2022 - Present
1th year Physics, Computer Science and Mathematics
Supervision of exercise sessions, and test grading.

Introduction to Differential Varieties

Teaching Assistant
Sept 2022 - Present
3rd year Mathematics
Exercise sessions for the course given by Thomas Brihaye.

Mathematics for Computer Science

Teaching Assistant
Sept 2022 - Present
1th year Computer Science
Exercise sessions for the course given by Thomas Brihaye.

Mathematics - Supplementary Course

Teaching Assistant
Sept 2022 - Aug 2024
2nd year Physics and 3rd year Mathematics
Exercise sessions for the course given by Thomas Brihaye.

Complex Analysis

Teaching Assistant
Sept 2022 - Aug 2024
3rd year Physics and Mathematics
Exercise sessions for the course given by Matthieu Simon.