Amaury Levé
Principal Software Engineer at Microsoft
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolAmaury Levé is a Principal Software Engineer at Microsoft with nine years of experience building high-scale automation and AI-powered developer tools rooted in the .NET ecosystem and regulated medical software. He led dramatic adoption of core testing platforms—driving MSTest and Microsoft.Testing.Platform to hundreds of millions of downloads—and designs “Inner Loop” tools that millions of engineers use daily. His work spans compiler-level governance (Roslyn analyzers, SonarC#), secure systems contributions in projects like Open Enclave and snmalloc, and productionizing AI for deterministic unit testing via GitHub Copilot Testing. A pragmatic advocate for care-first automation, he advises medical and non-profit organizations on ethical AI policies that increase human bandwidth. Based in Prague, he pairs deep technical rigor with active mentorship (15,000+ GitHub contributions) and a consistent focus on making clean code an automated reality.
9 years of coding experience
15 years of employment as a software developer
DUT, Informatique industrielle, DUT, Informatique industrielle at IUT Amiens1ère année de prépa, Classe préparatoire, 1ère année de prépa, Classe préparatoire at Université de Technologie de CompiègneBaccalauréat scientifique, Sciences de l’Ingénieur, spécialité mathématiques, Baccalauréat scientifique, Sciences de l’Ingénieur, spécialité mathématiques at Lycée Paul LangevinDiplôme d'Ingénieur, Informatique et Réseaux, Diplôme d'Ingénieur, Informatique et Réseaux at ENSEEIHT - Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et des Télécommunications
French, English, Spanish
Github Skills (19)
debugging10
debug10
memory-allocation10
c-language10
malloc10
ncl10
el10
c1110
security10
c1710
cl10
cprogramming-language10
allocator10
enclave10
conclave10
Programming languages (18)
Github contributions (5)
openenclave/openenclave
Aug 2018 - May 2022
SDK for developing enclaves
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:115 reviews, 40 commits, 28 PRs in 3 years 9 months
Contributions summary:Amaury's contributions primarily focus on enhancing the logging and error handling mechanisms within the Open Enclave SDK. They modified code to display more detailed error messages, including enum values and OCall names, to aid debugging. Furthermore, the user implemented and refined logging calls, including adding enclave path and base address to improve context. They also made significant changes related to adding snmalloc and its support in the open enclave.
trusted-execution-environmentdevelopingteesdkconfidential-computing
microsoft/snmalloc
Feb 2020 - May 2020
Message passing based allocator
Role in this project:Back-end Developer
Back-end DeveloperContributions:13 reviews, 13 commits, 12 PRs in 2 months
Contributions summary:Amaury contributed to the `snmalloc` project by fixing Open Enclave build issues, improving code formatting, and replacing assertions with custom `SNMALLOC_ASSERT` calls. Their work primarily involved modifications to existing code, addressing issues related to Open Enclave integration and ensuring code correctness through assertion replacements. They also introduced ARM CI setup and made infrastructure improvements. These changes demonstrate a focus on enhancing the library's compatibility, maintainability, and testing infrastructure.
memory-allocatorrustmessage-passingallocatormalloc
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.