Futur chercheur en informatique, intéressé par les méthodes formelles, la musique, les interactions musique/informatique.