Mamy Razafintsialonina
Engineer - Researcher at LIP6 - Laboratoire d'Informatique Sorbonne Université/CNRS
Ile-de-France
Summary
👤
Senior🎓
Top SchoolMamy Razafintsialonina is an engineer-researcher and PhD candidate specializing in static analysis and abstract interpretation, with eight years of experience building tools that make large-scale C codebases verifiable and faster to analyze. Currently at CEA-List and LIP6, he implemented incremental analysis techniques in Frama-C’s EVA plugin that significantly reduce analysis time with minimal precision loss, accelerating developer feedback loops. His background spans both research and production engineering—from open-science remote computing platforms at CEA to full-stack and embedded systems work—giving him a rare ability to turn formal methods into practical tooling. A valedictorian across multiple degrees and an avid competitive programmer, he blends rigorous academic training with hands-on delivery. Known for a collaborative mindset (and, amusingly, a pleasant scent), he teaches and mentors while pushing static analysis toward real-world impact.
8 years of coding experience
4 years of employment as a software developer
Bachelor's degree, Informatique Electronique Télécommunication, 17/20 Valedictorian, Bachelor's degree, Informatique Electronique Télécommunication, 17/20 Valedictorian at EUROIDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université Paris-SaclayMaster's degree, Science et Technologie du Logiciel en Alternance, 15.15/20 Valedictorian, Master's degree, Science et Technologie du Logiciel en Alternance, 15.15/20 Valedictorian at Sorbonne UniversitéMaster's degree, Computer Science, 15/20, Master's degree, Computer Science, 15/20 at Université de ParisA2 Level, English Language and Literature, General, A2 Level, English Language and Literature, General at English Teaching Program
Github Skills (12)
backport10
altstore10
apple-tv9
home-assistant8
iot7
swift7
ios6
happy5
javascript3
react2
front-end-development2
frontend1
Programming languages (9)
Github contributions (5)
nyandrianinamamy/typeur-scala
Oct 2021 - Apr 2022
Contributions:124 commits, 4 PRs, 37 pushes in 6 months
nyandrianinamamy/nodejs-microservice
Sep 2019 - Dec 2019
A NodeJS TypeScript Microservice Clean Architecture
Contributions:29 pushes, 1 branch in 3 months
nestjstypescript-nodejsdockercleannodejs
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.