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
-
2022:
- ASPOCP 2022: 15th Workshop on Answer Set Programming and Other Computing Paradigms (Technion campus, Haifa, Israel).