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
- Cognitive flexibility and attentional patterns among trauma survivors. Preliminary evidence from an eye-tracking study. Wivine Blekic, Nellia Bellaert, Nicolas Lecomte, Kendra Kandana Arachchige, Hadrien Melot, Mandy Rossignol. European Journal of Psychotraumatology, volume 13(1) :2055296, 2022.
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
Title: Distances for stochastic models.
Supervisors: Mickael Randour (UMONS) and
Youssouf Oualhadj (LACL - UPEC, France).
Subject: Continuation of my Master's project about extending window objectives to stochastic games.
Supervisors: Mickael Randour (UMONS) and
Youssouf Oualhadj (LACL - UPEC, France).
Subject: Extending window objectives to stochastic games.
Supervisors: Mickael Randour (UMONS) and
Youssouf Oualhadj (LACL - UPEC, France).
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).