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
Peer-reviewed 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, volume 3193, 15 pages, 2022. [CEUR-WS.org] [Extended version on arXiv]
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).