Matthias Puech
R&D Lead Scientist at INA - Institut national de l'audiovisuel
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolMatthias Puech is an R&D lead scientist at INA GRM with 13 years of experience bridging formal computer science research and creative audio technology. He leads development of the GRM Tools suite and created GRM Tools Atelier while also designing commercially successful Eurorack instruments like the 4ms Ensemble Oscillator and Tapographic Delay. A published composer who tours internationally, he combines applied DSP and product design with a deep academic background—Ph.D. in Computer Science and a former tenured associate professorship focused on programming language theory and formal proofs. Unusually, his work spans proof assistants and low-level audio hardware, turning rigorous formal methods into practical tools for composers and musicians.
14 years of coding experience
9 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Université Denis Diderot (Paris VII)University of BolognaMaster's degree, 1st year, Computer Science, Master's degree, 1st year, Computer Science at Freie Universität BerlinDEUG, Physics, DEUG, Physics at Université Paris Cité
French, English, Italian, German
Stackoverflow
465reputation
22kreached
1answer
3questions
Github Skills (52)
midi-controller10
tricks10
toolchain10
audio-effect10
llvm9
synthesizer9
vscode-extension9
synth9
compiler9
linux8
vscode7
embedded6
elisp6
cpp6
emacs6
Programming languages (10)
Github contributions (5)
mqtthiqs/parasites
Apr 2015 - Feb 2021
Eurorack modules
Contributions:26 releases, 18 commits, 6 PRs in 5 years 11 months
synthesizereurorackmidi-controlleraudio-effectsynth
INA-grm/JUCE
Jun 2021 - Dec 2025
JUCE is an open-source cross-platform C++ application framework for desktop and mobile applications, including VST, VST3, AU, AUv3, RTAS and AAX audio plug-ins.
Contributions:19 pushes, 3 branches, 3 tags in 4 years 6 months
auv3c-plus-plusaudiounitplug-insvst3
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.