Welcome to my home page, I'm an Ingénieur/Chercheur at INRIA Nancy-Grand Est currently working on the project IceSL with Sylvain Lefebvre from the Alice team. Funding for my work comes from the European Research Council (ERC), also I'm a member of AVISPA and Comète groups.
My CV is here [PDF]
Programming Languages and Concurrency, Computer Music, Videogame Development and Production, C++ junkie.
A small 3D game engine I coded [LINK]
A racing game developed for Android (There's an entry in the 'unpublished' section detailing this work) [LINK]
A C++11 library for simulating constraint systems [LINK]
Automatic Music Generation by Context-Free Grammars (There's an entry in the 'published' section detailing this work) [ZIP]
A model checker for the NTCC programming language [ZIP] (along with other authors)
Doctoral Thesis [LINK]
DBLP entry [LINK]
Can We Finally Agree on the 8th Art? A Technological Approach. In Le Magazine des Élèves de L'École Polytechnique, X-Passion N.71 - 2e Quadrimestre 2015. ISSN 1161-8140 Paris, France. 2015. [PDF]
A formally developed car racing game in Android. [PDF]
A half-hearted attempt into automatic pitch recognition. [PDF]
An NTCC model of Chopin's tonal ambiguity in one of his preludes. [PDF]
A Stochastic hybrid model of a soccer player with simulation results. [PDF]
An informal state of the art of video game production. [PDF](Spanish)
A method for automatic cleavage point identification in protein sequences. [PDF](Spanish)
Rock song with just one motif , piano song in c minor , incidental music to this game , short song in g minor , more incidental music to the game  and a short ambient piece again for the game (this was supposed to be looped infinitely when the players were at stores preparing their gear).