Amaury Pouly
Senior Software Engineer at CNRS - Centre national de la recherche scientifique
Borough of Runnymede, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolAmaury Pouly is a Senior Software Engineer and theoretical computer science researcher with 16 years of experience spanning dynamical systems, verification, differential and hybrid systems, and recent work in quantum algorithms and lattice-based post-quantum cryptography. He combines deep mathematical roots—number theory and algebraic geometry—with practical low-level engineering, evidenced by years of embedded firmware development and significant contributions to the open-source Rockbox project where he ported and maintained firmware for multiple MIPS and ARM devices. Currently balancing roles at lowRISC, École Polytechnique, and CNRS (on sabbatical), he has a strong record of academic appointments including Oxford and the Max Planck Institute. Known for bridging theory and practice, he also pursues compilers and firmware as a hobby, bringing an unusual blend of rigorous research and hands-on hardware/USB subsystem expertise.
16 years of coding experience
4 years of employment as a software developer
Master's degree, Informatique, Master's degree, Informatique at Ecole normale supérieure de Lyonlycée du Parc à Lyon
English, Spanish, Chinese, French
Stackoverflow
21reputation
2kreached
1answer
0questions
Github Skills (12)
firmware10
c1710
embedded10
c1110
sys10
makefile10
driver9
fm-radio9
device-driver9
codec8
gcc6
java6
Programming languages (9)
Github contributions (5)
Rockbox/rockbox
Jul 2013 - Oct 2020
Read-only mirror of rockbox' main repository
Role in this project:
Back-end Developer & Embedded Systems Engineer
Back-end Developer & Embedded Systems EngineerContributions:138 commits in 7 years 4 months
Contributions summary:Amaury primarily focused on modifying and enhancing the embedded system's firmware, as indicated by the code changes within the `rockbox/rockbox` repository. Their work involved fixing issues related to the makefile substitutions, enabling and disabling features specific to various devices such as Zen and NWZ models and fixing various drivers, notably touchscreen and FM radio components. They also contributed by adding support for new devices like the NW-A860, NW-S750, and NW-A55 and adding functionality by adding NVP nodes.
rustread-only
pamaury/pasched
Jul 2010 - Aug 2010
Contributions:122 commits in 1 month
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.