Menu

Ayoub NOURI

GRENOBLE

En résumé

Je suis actuellement en post-doc au CEA LETI à Grenoble après avoir eu mon doctorat de l'Université de Grenoble-Alpes en avril 2015. Ma recherche porte sur les méthodes formelles pour la conception et le développement des systèmes embarqués: Modèles formelles, vérification formelle, méthodes statistique et stochastique, génération automatique de code distribué. En 2010, J'ai eu mon diplôme d'ingénieur en Génie Informatique des Systèmes Industriels de l'Institut Supérieur d'Informatique (ISI) en Tunisie où j'étais le leader du club des logiciels libres FreeWays. Je suis aussi titulaire d'un Mastère de recherche en Logiciel et Systèmes Critiques du même institut.

Mes compétences :
Linux embarqué
Hibernate
C/C++
XML
Ingénieur
Oracle
Struts
Eclipse

Entreprises

  • CEA-LETI - PostDoc/Ingénieur de Recherche

    GRENOBLE 2015 - maintenant

  • Verimag - Mémoire de mastère de recherche

    2010 - 2011 Réalisation d'un outil de vérification formelle implémentant une approche statistique pour la vérification des systèmes embarqués temps réel à base de composants.

  • Alpha engineering - Élève ingénieur stagiaire

    2009 - 2009 Contribution à la réalisation d'un plateforme de développement de systèmes embarqués intégrant une partie de prototypage virtuel (Open Virtual Platfom (OVP)). Génération de code C depuis des spécifications XML. Technologies: OVP, perl, C, XML.

  • Xvision Engineering - Stagiaire

    2007 - 2007 Conception et réalisation d'une application Web de recrutement en ligne: Front-end (postuler en ligne, upload de CV). Back-end: gestion des entretiens, attribution d'appréciations aux postulants, configuration et administration du Front-end.Technologies: J2EE, les frameworks Struts et Hibernate et Oracle comme SGBD.

  • Entreprise Tunisienne des Activités Petrolière (ETAP) - Stagiaire

    2005 - 2005 Conception et réalisation d'une application Web de gestion du parc automobile de la société. Technologies: HTML, PHP, MySQL, UML.

Formations

  • UNIVERSITE GRENOBLE (Grenoble)

    Grenoble 2011 - 2015 PhD

    Model-based Design, Component-based Design, Stochastic Models, Model Checking, Statistical Inference, Machine learning, Automatic Code generation

  • Institut Supérieur D' Informatique Tunis El Manar (ISI) (Ariana)

    Ariana 2010 - 2011 Mastère de recherche en logiciels et systèmes critiques

  • Institut Supérieur D' Informatique Tunis El Manar (ISI) (L'Ariana)

    L'Ariana 2007 - 2010 Ingénieur en Génie Informatique des Systèmes Industriels (GISI)

  • Institut Supérieur D' Informatique Tunis El Manar (ISI)

    L'Ariana 2004 - 2007 Diplome Univesitaire de Technologie (DUT)

    Développement logiciel (c,c++, Java), Conception des systèmes d'information (UML), base de donné (Oracle, MySQL), développement Web (HTML, PHP, JEE)

  • Lycée Hammouda Pacha (Mannouba)

    Mannouba 2000 - 2004 Baccalauréat Sciences Experimentales

    sciences experimentales

Réseau

Annuaire des membres :