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
- Automata theory, particularly 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
- Learning Realtime One-Counter Automata: Véronique Bruyère, Guillermo A. Pérez, and Gaëtan Staquet, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 16 (long version: 48) pages, 2022. [Link] [arXiv (long version)]
- 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]
Preprints
- Validating Streaming JSON Documents with Learned VPAs: Véronique Bruyère, Guillermo A. Pérez, and Gaëtan Staquet. 33 pages. 2023.
Supervision
Introductory research internship
Projects
Validating JSON Documents with Learned VPAs
[link]
- Implementation of oracles to actively learn a JSON document from a JSON schema, of an algorithm to validate streaming JSON documents against a schema, and benchmarks to compare our algorithm and the classical algorithm.
- See our paper "Validating Streaming JSON Documents with Learned VPAs" for more information.
- See also the project "JSON Schema Tools" for the classical algorithm.
JSON Schema Tools
[link]
- Implementation of tools to manipulate JSON schemas, to generate (randomly or exhaustively) JSON documents from a schema, and to validate a JSON document against a schema.
- See our paper "Validating Streaming JSON Documents with Learned VPAs" for more information.
- See also the project "Validating JSON Documents with Learned VPAs" for a new validation algorithm.
Benchmarks for Learning Realtime One-Counter Automata
[link]
- Implementation of an active automata learning algorithm dedicated to realtime one-counter automata, and benchmarks based on randomly generated automata and on JSON documents.
- See our paper "Learning Realtime One-Counter Automata" for more information.
Master's Thesis
- Title: Efficient Learning of Automata and Automata with One Counter.
- Supervisor: Véronique Bruyère (UMONS).
LearningVCA
[link]
- 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
-
2022:
- Learning Realtime One-Counter Automata, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 5 April 2022, Munich, Germany [slides].
- Learning Realtime One-Counter Automata, Formal Methods and Verification (FMV) seminary, 21 October 2022, ULB, Brussels, Mons [slides].
- Learning Realtime One-Counter Automata, Seminary, 26 October 2022, LRDE (Laboratoire de Recherche et Développement de l'EPITA), Paris, France [slides].
- Active Learning of Automata for JSON-Streaming Validation, Highlights of Logic, Games and Automata 2022, 29 June 2022, Paris, France [slides].
- Verification of computer systems thanks to state machines, Annual national day of F.R.S.-FNRS doctoral school COMPLEX, 15 November 2022, UMONS, Belgium [slides].
- Vérifier un système informatique grâce à un automate, Séminaire Jeune, 24 October 2022, UMONS, Belgium [slides].
- Vérifier efficacement un document JSON grâce à un automate, Séminaire Jeune, 6 May 2022, UMONS, Belgium [slides].
-
2021:
- Learning Realtime One-Counter Automata, Highlights of Logic, Games and Automata 2021, 17 September 2021, Online [slides].
- Learning Realtime One-Counter Automata, WG Verification Days (Journées du GT Vérif), 17 November 2021, Gif-sur-Yvette, France [slides].
- 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].
-
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
-
2022
- European joint conference On Theory And Practice of Software (ETAPS), Munich, Germany.
- Highlights of Logic, Games and Automata, Paris, France.
- WG Verification Days (Journées du GT Vérification), Bordeaux, France.
-
2021
- European joint conference On Theory And Practice of Software (ETAPS), Online.
- 32nd International Conference on Concurrency Theory (CONCUR), Online.
- Highlights of Logic, Games and Automata, Online.
- Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), Online.
- WG Verification Days (Journées du GT Vérification), Gif-sur-Yvette, France.
- 2020
-
2019
- Workshop - Theory and Algorithms in Graph and Stochastic Games, UMONS, Belgium.
Teaching
Miscellaneous
During the academic year 2016-2017, I won the 454th place (out of 5558) in University CodeSprint, and my team won the 43d place in the Benelux Algorithm Programming Contest (BAPC).