[en construction]

Thèmes de recherche

• Méthodes formelles en informatique (model checking, etc)
• Logiques modales (logique temporelle et logique épistémique)
• Sécurité des protocols de communication (vérification formelle et automatique)
• Systèmes multi-agents (modèle de raisonnement et de communication)

Parcours universitaire

• MSc of Computer Science, University of Stellenbosch 2011-2013
• Postgraduate Diploma, African Institute for Mathematical Sciences– South Africa 2010-2011
• 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

Autres intérêts

• L'éducation à Madagascar
• Programmation (Haskell, Python, ...)