Academic CV
Summary
I am a Research Fellow (PhD student) at the F.R.S.-FNRS, co-supervised by Véronique Bruyère (UMONS) and Guillermo A. Pérez (UAntwerpen).
My research interests include (and are not limited to):
- Automata theory,
- Active and passive automata learning,
- Timed automata,
- Formal verification,
- Game theory.
Research Experience
Supervisors: Véronique Bruyère (UMONS) and Guillermo A. Perez (UAntwerpen).
Supervisor: Véronique Bruyère (UMONS).
Supervisor: Guillermo A. Perez (UAntwerpen).
Supervisors: Aline Goeminne, Thomas Brihaye, Véronique Bruyère, and Hadrien Mélot.
Awards
Publications
Please consult the specific page.
Projects
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.
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.
Implementation of an active automata learning for 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.
Implementation of an active learning algorithm dedicated to visibly one-counter automata, based on a paper by Daniel Neider and Christof Löding: Learning Visibly One-Counter Automata in Polynomial Time.
This project was realized during my internship at UAntwerpen, under the supervision of Guillermo A. Pérez
Talks and events
Please consult the specific page.
Teaching duties and supervision
Please consult the specific page.
Collective and administrative responsibilities
Reviewer
Council member
Informant role
Languages
Natural languages
Programming languages
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).