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

Sept 2021 - Jun 2022
UMONS, Belgium

Title: Generation and exploitation of counterexamples in stochastic models.
Supervisor: Mickael Randour (UMONS).

Internship

Sept 2021 - Nov 2021
AISIN Europe, Belgium

Subject: Vehicle Routing Problem

Master's Project

Sept 2020 - Jun 2021
UMONS, Belgium

Subject: Counterexample generation in stochastic models.
Supervisor: Mickael Randour (UMONS).

Publications

Peer-reviewed proceedings

Attended events

  • 2022:
    • ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms (Technion campus, Haifa, Israel).

Teaching

Complex Analysis

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

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 - Supplementary Course

Teaching Assistant
Sept 2022 - Present
2nd year Physics and 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.