Menu

Hajer HERBEGUE

TOULOUSE

En résumé

Mes compétences :
Architectures ARM
Visual Basic
Modélisation de processeur
Validation de propriétés métier temps-réel
Objective CAML
Linux
Java 2 Enterprise Edition
Java
Eclipse
CSP- programmation par contraintes
C++
C Programming Language

Entreprises

  • Institut de Recherche en Informatique de Toulouse - Assistant de recherche

    2009 - 2014 Modélisation ADL de processseur, Analyse du WCET basée sur la programmation par contraintes.
  • Institut de recherche informatique de Toulouse - Assistant de recherche

    2009 - 2014

Formations

  • L'Université Paul Sabatier

    Toulouse 2009 - 2014 Doctorat

    Spécialité réseaux , télécom, système et architecture.
    Approche ADL pour la modélisation d'architecture basée sur les contraintes (Calcul de WCET)
  • Ecole Polytechnique De Tunis EPT (Tunis)

    Tunis 2007 - 2008 Master de recherche

    Master de recherche en Systèmes électroniques et Réseaux de communication.
    Étude des méthodologies de conception des systèmes sur puce multiprocesseur.
  • INSAT(Institut Nationale Des Sciences Appliquées Et Technologiques) (Ariana (Tunisie))

    Ariana (Tunisie) 2002 - 2007 Diplôme d'ingénieur national en réseaux

    Implémentation multiprocesseur sur puce d'un décodeur MJPEG.

Réseau

Annuaire des membres :