Hoang Nguyen
Senior Research And Development Engineer at CEA
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolHoang Nguyen is a Senior R&D Engineer based in Paris with 11 years of experience bridging formal software research and production cryptography. He holds a PhD in Computer Science and moved from academic work on correct-by-construction, self-adaptive cloud applications at Inria to building homomorphic encryption cores and microservice platforms for a CEA spin-off focused on post-quantum cryptography. Comfortable across the stack, he designs verifiable systems and integrates HE microservices into European research projects, combining rigorous formal methods with practical deployment. He has taught networking and databases at university level and maintains an active publication profile, signaling deep expertise that spans theory, secure computation, and applied cloud engineering.
11 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université Sorbonne Paris NordMaster's degree, Computer Science, Master's degree, Computer Science at Université de BordeauxMaster's degree, Computer Systems Networking and Telecommunications, Master's degree, Computer Systems Networking and Telecommunications at Pierre and Marie Curie University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (2)
real-time-systems10
model-checking10
Programming languages (2)
Github contributions (5)
hoangia90/IoT
May 2020 - May 2020
Contributions:40 pushes in 13 days
hoangia90/PatternSearchProject
Aug 2022 - Jan 2023
Contributions:14 pushes, 1 branch in 4 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.