Academic CV

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 University of Antwerp, under the supervision of Guillermo A. Pérez