Summary
I am a PhD student co-supervised by Véronique Bruyère from the Computer Science department at the University of Mons (UMONS) and by Guillermo A. Perez from the Computer Science department at the University of Antwerp (UAntwerpen). My PhD Thesis started in October 2020 and is funded by the F.R.S.-FNRS. My research interests include
- One-counter automata learning;
- Formal verification, using automata;
- Game theory
Research experience
Title: Improvement of the state of the art regarding the theory of learning algorithms for automata models extended with resources and its applications to black-box model-checking.
Supervisors: Véronique Bruyère (UMONS) and Guillermo A. Perez (UAntwerpen).
F.R.S.-FNRS Research Fellow.
Title: Efficient Learning of Automata and Automata with One Counter.
Supervisor: Véronique Bruyère (UMONS). Grade: 19/20.
Implementation of an active learning algorithm for Visibly One-Counter Automata.
Supervisor: Guillermo A. Perez.
Subject: Efficient algorithms for Nash equilibrium computation.
Supervisors: Aline Goeminne, Thomas Brihaye, Véronique Bruyère, and Hadrien Mélot.
Publications
Peer-reviewed conference proceedings
- Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting: Aziz Amezian El Khalfioui, Jonathan Joertz, Dorian Labeeuw, Gaëtan Staquet and Jef Wijsen, 29th ACM International Conference on Information and Knowledge Management (CIKM), 2020 (ACM Digital Library).
Direction
Introductory research internship
Projects
- Title: Efficient Learning of Automata and Automata with One Counter.
- Supervisor: Véronique Bruyère (UMONS).
- Implementation of an active automata learning algorithm dedicated to visibly one-counter automata.
- Original paper by Daniel Neider and Christof Löding, from 2010.
- Done during my internship at UAntwerpen, under the supervision of Guillermo A. Perez.
Talks
-
2021:
- L'apprentissage d'automates et ses applications, Mois du doctorat (a month dedicated to popularization presentations of PhD theses), 10 March 2021, Online (UMons) (slides) (handout).
- Learning Realtime One-Counter Automata, Highlights of Logic Games, and Automata 2021, 17 September 2021, Online.
-
2020:
- Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting, 29th ACM Internal Conference Conference on Information and Knowledge Management (CIKM), 22 October 2020, Online (slides) (video).
Attended events
- 2021
- 2020
-
2019
- Workshop - Theory and Algorithms in Graph and Stochastic Games, UMONS, Belgium.