Programmation spatio-temporelle : Un langage pour l'exploration combinatoire
Biographie
Je suis doctorant à l'Institut de Recherche et Coordination Acoustique/Musique (Ircam) et à Sorbonne Université. Ma thèse se porte sur la conception d'un paradigme de programmation pour exprimer des stratégies d'exploration dans un espace d'états. Ce paradigme est appelé « programmation spatio-temporelle » et est basé sur la programmation synchrone et logique. La première application est de faciliter l'écriture de stratégies d'exploration dans les solveurs de contraintes. Ce langage fournit également une base pour programmer un logiciel de composition interactif basé sur les contraintes. Finalement, on élargit le champ de recherche avec une application au model-checking. Mon projet de recherche à long terme est d'unifier les paradigmes de programmation autant sur le plan théorique que pratique.
A l'Ircam d'avril 2014 à juin 2018