Louiza HAMMICHE

En résumé

Entreprises

• SIEMENS - Ingénieur Sûreté de Fonctionnement

  Saint-Denis 2011 - maintenant

• Gemalto - Stagiaire en Méthodes Formelles

  Meudon 2008 - 2008 Génération automatique des tests à partir de modèles formels, pour une application embarquée sur carte à puce (IAS) :
  - Étude du fonctionnement de l’outil de génération automatique de tests à partir de modèles
  formels, en compétition avec un outil de génération de tests à partir de modèles B,
  - Étude des propriétés de sécurité de l’application IAS,
  - Conception des commandes de l’application IAS et des scénarios de test adapté au banc de
  test interne de la société.

• SYSTEREL - Ingénieur Méthodes Formelles

  Aix en Provence 2008 - 2011
  
  

Formations

• Université Paris 6 Pierre Et Marie Curie

  Paris 2007 - 2008 Master 2 "Science et Technologie du Logiciel", Parcours "Logicieles Sûrs"

Réseau

• Christophe LOGEROT

• Farès CHUCRI

• Félix MACH

• Guillaume DALLONGEVILLE

• Inês MARQUES

• Lounes MOBAREK

• Mathieu CLABAUT

• Nicolas BEAUGER

• Thomas GRENECHE