Maitrîse de Mathématiques Pures (mention bien), Université d'Antananarivo 2006-2009
Maitrîse de Mathématiques Appliquées (mention assez-bien), Université d'Antananarivo 2006-2009
BEPC and Baccalauréat série C (mention assez-bien), Lycée Saint François-Xavier Antanimena, 2002 and 2005
CEPE, Kolejy Maria Manjaka, Talatamaty Fianarantsoa, 1998
Programming
You are not too old to learn new things, you get old when you don't learn new things
Haskell: I developped an epistemic model checker for verifying privacy in Security Protocols (to be published), and a translator which solves a dynamic epistemic problem with an SMT solver (see also my paper on this)
Python: I taught introductory programming courses with Python and Sagemath at the Ecole Normale Superieure. I also did freelance jobs on data processing and visualisation with climate/fisheries/energy data (e.g., netcdf files), using xarray and pandas.
I like designing and building static websites, with Tiddlywiki or a dedicated static web generator
Other work experience
"Mandehandeha mahita raha". Malagasy Proverb
"One learns by wandering"
Assistant for the Square Kilometre Array (SKA) Madagascar project (Direction Générale de la Recherche Scientifique, Antananarivo, Madagascar 2018-2019). I assisted the National Coordinator of SKA Madagascar (Prof. Charles Ratsifaritana) in welcoming international scientists and engineers of the SKA project, in organising meetings, and communicating with stakeholders. I represented SKA Madagascar at an international reunion in South Africa.
Primary School Teacher (Projet Hay, Imerimanjaka, Antananarivo, Madagascar 2019). I taught mathematics and sciences for a startup primary school.
Others
I speak Malagasy 🇲🇬, French🇫🇷, English 🇬🇧, and some basic German 🇩🇪
I like playing guitar and singing (mostly Malagasy) songs.