Spacetime Programming: A Language for Combinatorial Exploration
Biography
I am a Ph.D. candidate at the Institute for Research and Coordination in Acoustics/Music (IRCAM) and the Pierre et Sorbonne University. 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.
At Ircam from April 2014 to June 2018