Welcome!

I am a postdoc researcher at the University of Nantes in the team TASC of the LS2N laboratory. The long term goal of this project is to combine concepts from the fields of constraint programming and abstract interpretation. Constraint programming is mostly used on finite domains, although many problems are also defined on continuous domains. Abstract interpretation provides a nice way to combine finite and continuous domains with its notion of abstract domains. In this context, my project is to integrate integer abstract domains (such as octagons) in the constraint solver AbSolute, and to contribute to the underlying theory merging both fields.

I am a Ph.D. candidate at the Institute for Research and Coordination in Acoustics/Music (IRCAM) and the Pierre et Marie Curie University (UPMC). My thesis investigates the design of a paradigm to explore a state space with a search strategy. This paradigm is called spacetime programming and is based on the synchronous paradigm and logic programming. The first and major application is to enable an easy programming of search strategies in constraint solvers. We use it to provide an interactive music composition software based on constraints. Finally, we also explore this paradigm in the field of model checking. My long-term research project is to unify language paradigms both on the theoretical and practical grounds.

I am sharing the code developed during this thesis through several projects available on Github, check them out!

• bonsai is a language implementing the spacetime paradigm for Java.
• pcp is a library for constraint solving written in the language Rust.
• oak is a PEG parser investigating the notion of AST inference.