Fonenantsoa Maurica Andrianampoizinimaro — dit
Scientifique, musicien et entrepreneur. Me contacter
Physique ≠ Mathématique ≠ Dieu
Scientifique compatible avec littéraire
L'Humanité prime sur la Science
Ma thèse, Analyses de terminaison des calculs flottants, développe des techniques permettant de décider, avant même l'exécution, qu'un programme manipulant des nombres à virgule flottante finira par s'arrêter. Ces techniques ont permis de découvrir un bug dans ImageMagick, l'un des logiciels de traitement d'images les plus utilisés au monde : une boucle infinie causée par une erreur d'arrondi flottant, référencée CVE-2017-7619 et classée de sévérité haute (7.5) par le NIST.
J'ai contribué à Frama-C, la plateforme d'analyse de code C du Commissariat à l'Énergie Atomique et d'Inria, utilisée notamment par Airbus et Dassault Aviation pour prouver mathématiquement l'absence de bug, ou exhiber leur existence, dans leurs logiciels avioniques. Je figure parmi les auteurs de la plateforme, où j'ai travaillé sur E-ACSL, le greffon de vérification à l'exécution.
Bach, l'ohm
Mozart, la simplicité
Beethoven, le courage
Aider les autres pour s'aider soi-même
N'a de valeur que ce que nous décidons
Le pouvoir se donne, la puissance se prend
École d'informatique fondée à Madagascar, mon pays natal, pour former des informaticiens de niveau international. Certains de nos étudiants financent leurs études par l'alternance ou signent leurs premiers contrats avant même leur diplôme. HEI a été primée à l'International Youth Math Challenge — médaille de bronze et premier prix national pour Madagascar — et l'un de nos co-fondateurs, Ryan Andriamahery, a été nommé Fellow du Prix Anzisha.
Une start-up qui met l'intelligence artificielle au service du diagnostic des toitures : usure, risques d'infiltration, végétation. Notre IA hybride, à la fois connexionniste et symbolique, fait l'objet de cas d'usage publiés par le CEA-List (raisonnement symbolique avec ExpressIF®) et par Airbus (suivi de l'état des toitures avec l'imagerie satellite Pléiades Neo). Sélectionnée par Challenges parmi les 100 start-up où investir en 2026.
Un fonds qui finance l'expatriation depuis Madagascar vers la France en vue d'une installation professionnelle, essentiellement en commençant par la poursuite ou la reprise d'études. Toutes les classes sociales sont représentées, dont de très modestes ayant grandi dans des zones très rurales de Madagascar. Certains ont rejoint des universités prestigieuses comme la Sorbonne, Paris-Saclay ou Grenoble Alpes ; la majorité sont déjà installés professionnellement, dont dans des institutions prestigieuses comme le Commissariat à l'Énergie Atomique. Depuis 2025, le fonds est géré par HEI Madagascar.
Famille, amis, gens de confiance
La volonté
Penser, travailler, impacter
Chargement du livret…