Manamiary Bruno ANDRIAMIARINA

En résumé

Entreprises

• Cliris - Ingénieur Business Intelligence

  Courbevoie 2015 - maintenant - Centres d'intérets : Big Data, Interfaces Homme-Machine Ergonomiques
  - Technologies : Java/J2EE, Web services, JSF, Hibernate, Spring, Talend, Python, Web technologies (HTML, CSS, JS, Actionscript), Postgresql

• IUT Nancy Charlemagne - Attaché Temporaire d'Enseignement et de Recherche (ATER) en Informatique

  2013 - 2014 - Enseignements : Programmation Web (HTML, CSS, JS, PHP), CMS, Bases de données (MySQL, Postgres), Bureautique (Microsoft Office, OpenOffice.org, LibreOffice)
  - Niveaux : 1ère/2ème/3ème année

• LORIA - Stagiaire de Recherche en Informatique

  2010 - 2010 - Centres d'intérêt : Méthodes formelles, probabilités, développements basés sur la preuve, spécification, vérification et animation
  - Travaux : Développement de frameworks, outils et techniques pour la vérification de système distribués dynamiques et probabilistes
  - Technologies : Event B, TLA/TLA+, PRISM (Model-checker), Java, outils basés sur Eclipse

• Sopra Steria - Stagiaire Ingénieur en Informatique

  Paris 2009 - 2009 - Réalisation de l'Application de Réservation des Equipements Sportifs de la Mairie de Paris
  - Technologies : Java/J2EE, Web services, Hibernate, Spring, Web technologies (HTML, CSS, JS), SQL Server, Postgresql

Formations

• Université De Lorraine (UL)

  Vandoeuvre Lès Nancy 2010 - 2015 Doctorat
  
  - Centres d'intérêt : Méthodes formelles, développement basés sur la preuve, spécification, vérification et animation
  - Travaux : Développement de frameworks, outils et techniques pour la vérification de système distribués dynamiques
  - Technologies : Event B, TLA/TLA+, PRISM (Model-checker), Java, outils basés sur Eclipse

Réseau

• Benoit WALSER

• Camille HAMPE

• Claude RAMANOHISOA

• Frédéric ARFÉ

• Jaime DIAS

• Loriane MAINVILLE

• Manda ANDRIAMIARINA

• Miarivony RASOAMAHEFA

• Pascal HEQUET