Alice Rixte
Doctorante En Informatique Musicale
Vincennes, Île-de-France, France
Summary
👤
Senior🎓
Top SchoolAlice Rixte is a doctoral researcher in musical informatics with 11 years of experience blending theoretical computer science, signal processing, category theory and electronic music practice. Trained at ENS Paris-Saclay and multiple French masters in music computing, she investigates live harmonic change detection for a PhD while designing Eurorack modules with Azerty Lab. She has research internships at IRCAM and CNRS and a background teaching computer science, which gives her a rare mix of formal verification, programming-language design and hands-on audio production. Actively producing electronic music (soundcloud: autonym8), she aims to balance an artistic project with professional work that provides both critical distance and funding. Notably, her profile pairs deep mathematical logic and category-theoretic approaches to music with practical skills in DSP and module hardware design.
11 years of coding experience
Classes préparatoires aux grandes écoles (CPGE), Mathematics and Computer Science, Classes préparatoires aux grandes écoles (CPGE), Mathematics and Computer Science at Lycée Pierre De FermatAcoustique, Traitement du signal et Informatique Appliqués à la Musique (Master 2), Acoustique, Traitement du signal et Informatique Appliqués à la Musique (Master 2) at Université Paris 1 Panthéon-SorbonneDiplôme de l'École Normale Paris-Saclay, Informatique et musique, Diplôme de l'École Normale Paris-Saclay, Informatique et musique at École normale supérieure Paris-SaclayMaster Musique et Informatique musicale (M2), Music, Reçue mention Bien, Master Musique et Informatique musicale (M2), Music, Reçue mention Bien at Université Gustave EiffelElectronic Music Production, Musique électronique, Electronic Music Production, Musique électronique at SAE Institute Paris
Github Skills (101)
hackage10
podman9
mathematical9
manim9
servant9
filesystem9
docker9
container9
logic-programming9
containerization9
structured-concurrency9
asset-pipeline9
async8
animation8
modular8
Programming languages (8)
Github contributions (5)
JulesKzl/projet-prog2
Jan 2016 - May 2020
Contributions:107 pushes, 7 issues in 4 years 4 months
141592653/projet-coq
Mar 2016 - May 2020
Contributions:21 pushes, 1 branch in 4 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.