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
Title: Generation and exploitation of counterexamples in stochastic models.
Supervisor: Mickael Randour (UMONS).
Subject: Vehicle Routing Problem
Subject: Counterexample generation in stochastic models.
Supervisor: Mickael
Randour (UMONS).
Publications
Peerreviewed proceedings
 Computing HPartitions in ASP and Datalog. Chloé Capon, Nicolas Lecomte, Jef Wijsen. International Conference on Logic Programming 2022 Workshops colocated with the 38th International Conference on Logic Programming (ICLP 2022), CEUR Workshop Proceedings, volume 3193, 15 pages, 2022. [CEURWS.org] [Extended version on arXiv]
Attended events

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