Summary

I am teaching assistant in the Department of Mathematics of UMONS (Belgium) and a PhD student supervised by Mickael Randour (UMONS) and Youssouf Oualhadj (LACL - UPEC, France).

My research interests are mainly focused on formal verification and synthesis of reactive systems. More specifically, I am interested in comparing models via distances in multiple frameworks such as quantitative verification or reactive synthesis of efficient controllers.

Publications

Research letter

Peer-reviewed conference proceedings

  • Computing H-Partitions in ASP and Datalog. Chloé Capon, Nicolas Lecomte, Jef Wijsen. International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), CEUR Workshop Proceedings, CEUR-WS.org, volume 3193, 15 pages, 2022. [On arXiv] [CEUR-WS.org]

Research experience

Master's Thesis

Sept 2021 - Aug 2022
UMONS, Belgium

Title: Distances for stochastic models.
Supervisors: Mickael Randour (UMONS) and Youssouf Oualhadj (LACL - UPEC, France).

Research Internship

Sept 2021 - Jun 2022
UMONS, Belgium

Subject: Continuation of my Master's project about extending window objectives to stochastic games.
Supervisors: Mickael Randour (UMONS) and Youssouf Oualhadj (LACL - UPEC, France).

Master's Project

Sept 2020 - Jun 2021
UMONS, Belgium

Subject: Extending window objectives to stochastic games.
Supervisors: Mickael Randour (UMONS) and Youssouf Oualhadj (LACL - UPEC, France).

Research Initiation Internship

Aug 2020
UMONS, Belgium

Subject: Prospect theory and game theory.
Supervisors: Thomas Brihaye and Aline Goeminne (UMONS).

Attended events

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

Teaching

Calculus I

Teaching assistant
Sept 2022 - Present
1st year students
Exercise sessions for the students in mathematics for the course on calculus given by Stéphanie Bridoux and Christophe Troestler.

Introduction to numerical analysis

Teaching assistant
Sept 2022 - Present
2nd year students
Exercise sessions for the course on numerical analysis given by Christophe Troestler.

Elementary Mathematics

Teaching assistant
Sept 2022 - Present
1st year students
Supervision of exercise sessions.

Elementary Mathematics

Student teaching assistant
Sept - Nov 2021
1st year students
Supervision of exercise sessions and test grading.