[PDF] Curriculum Vitæ détaillé Dernière modification : 29 novembre

View - Download Curriculum Vitæ détaillé

Previous PDF

Next PDF

Curriculum Vitae détaillé

NabilBelala

Dernière modification : 29 novembre 2016

Table des matières

1 Informations personnelles 2

1.1 Itinéraire universitaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2 Compétences linguistiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3 Parcours professionnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3.1 Postes actuels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.3.2 Anciens postes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.4 Formations effectuées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2 Contributions pédagogiques 4

2.1 Enseignement en graduation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.1.1 Responsable de la matière ou du module . . . . . . . . . . . . . . . . . . . . . 4

2.1.2 Chargé de TD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2.1.3 Chargé de TP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.2 Encadrement de thèses de doctorat du 3ème cycle (LMD) . . . . . . . . . . . . . . . 5

2.3 Encadrement de thèses de Doctorat en Sciences . . . . . . . . . . . . . . . . . . . . . 5

2.4 Encadrement dans le Master . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.5 Encadrement dans la formation d"Ingénieur d"Etat (cycle long) . . . . . . . . . . . . 6

2.6 Encadrement dans la licence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2.7 Co-encadrement de thèses de doctorat . . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.8 Co-encadrement de thèses de Magistère . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.9 Responsabilités et tâches administratives . . . . . . . . . . . . . . . . . . . . . . . . . 7

2.10 Polycopiés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

3 Contributions scientifiques 8

3.1 Publications internationales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

3.2 Communication internationales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

3.2.1 Communications internationales éditées . . . . . . . . . . . . . . . . . . . . . 9

3.2.2 Communications internationales avec comité programme et comité de lecture

internationaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1

3.3 Communications nationales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.4 Rapports de recherche (sélection) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.5 Projets de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3.6 Animation scientifique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.7 Stages effectués . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.8 Activités de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.8.1 Dans la thèse de Magistère . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

3.8.2 Dans la thèse de Doctorat en Sciences . . . . . . . . . . . . . . . . . . . . . . 12

3.8.3 Phase postdoctorale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1 Informations personnelles

NomNabil

PrénomBelala

Date de naissance9 juin 1979

Lieu de naissanceConstantine, Algérie

NationalitéAlgérienne

Situation familialemarié, trois enfants

Adresse personnelleCité 500 logts SOREPIM, BT 14, No6, 25100 El-Khroub, Constantine,

Algérie

Adresse professionnelleDépartement d"Informatique Fondamentale et ses Applications, Fa- culté des Nouvelles Technologies de l"Information et de la Communication, Université Constan- tine 2 - Abdelhamid Mehri, Ali Mendjeli, BP : 67A, Constantine, Algérie Numéro de téléphone (domicile)031 76 90 42 Numéro de téléphone (mobile)06 61 66 60 62

Adresse emailnabil.belala@univ-constantine2.dz

Fonction actuelleEnseignant-chercheur

SpécialitéInformatique

Grade universitaireMaitre de Conférences classe A

Grade de rechercheChargé de Recherche

Laboratoire de rattachementLaboratoire MISC (Laboratoire de Modélisation et d"Implé- mentation des Systèmes Complexes), Université Constantine 2 - Abdelhamid Mehri

1.1 Itinéraire universitaire

Juin 1997 : Baccalauréat, Lycée Massinissa El-Khroub, Constantine, Algérie - Option : Sciences Exactes - Mention : Assez Bien Juin 2002 : Ingénieur d"Etat de l"Université Mentouri de Constantine, Algérie - Spécialité : Informatique - Option : Systèmes Parallèles et Distribués

- Titre : "Vérification Formelle Basée sur la Sémantique de Maximalité : Approche Logique»

- Encadreur : Djamel Eddine Saïdouni - Mention : Bien Juin 2005 : Magistère de l"Université Mentouri de Constantine, Algérie 2 - Spécialité : Informatique - Option : Information and Computation - Titre : " Formalisation des Systèmes Temps-Réel avec Durées d"Actions » - Directeur de thèse : Djamel Eddine Saïdouni - Lieu : Laboratoire LIRE, Université Mentouri, Constantine - Mention : Bien Octobre 2010 : Doctorat en Sciences de l"Université Mentouri de Constantine, Algérie - Spécialité : Informatique

- Titre : " Modèles de Temps et leur Intérêt à la Vérification Formelle des Systèmes Temps-

Réel »

- Directeur de thèse : Djamel Eddine Saïdouni - Lieu : Laboratoire MISC, Université Mentouri, Constantine - Mention : Très Honorable Juin 2015 : Habilitation Universitaire de l"Université Constantine 2, Algérie - Spécialité : Informatique - Lieu : Département d"Informatique Fondamentale et ses Applications, Faculté des Nou- velles Technologies de l"Information et de la Communication, Université Constantine 2 -

Abdelhamid Mehri

1.2 Compétences linguistiques

- Arabe : langue natale - Français : capacité professionnelle complète - Anglais : compétence professionnelle

1.3 Parcours professionnel

1.3.1 Postes actuels

Depuis Juin 2015

Maitre de Conférences classe A à l"Université Constantine 2 - Abdelhamid Mehri.

Depuis Janvier 2012

Chargé de Recherche au Laboratoire MISC (Laboratoire de Modélisation et d"Implémenta- tion des Systèmes Complexes) de l"Université Mentouri de Constantine puis à l"Université

Constantine 2 depuis Novembre 2012.

1.3.2 Anciens postes

De Octobre 2010 à Mai 2015

Maitre de Conférences classe B à l"Université Mentouri de Constantine puis à l"Université

Constantine 2 depuis Novemebre 2012.

De Janvier 2010 à Décembre 2011

Attaché de Recherche au Laboratoire MISC (Laboratoire de Modélisation et d"Implémentation des Systèmes Complexes) de l"Université Mentouri de Constantine.

De Septembre 2006 à Septembre 2010

Enseignant titulaire (Maitre Assistant) à Université Mentouri de Constantine. 3

De Janvier 2006 à Décembre 2009

Attaché de Recherche au Laboratoire LIRE (Laboratoire d"Informatique Répartie) de l"Uni- versité Mentouri de Constantine.

Année universitaire 2004-2005

Enseignant vacataire au Département du Tronc-Commun des Sciences Exactes, Technologies et Informatique de Université Mentouri de Constantine.

Année universitaire 2003-2004 à 2005-2006

Enseignant vacataire au Département de Français à l"Ecole Normale Supérieure de Constan- tine.

Année universitaire 2004-2005

Enseignant vacataire au Département des Sciences Sociales de Université Mentouri de Constan- tine.

Année universitaire 2003-2004

Enseignant vacataire au Département des Sciences de l"Information et de la Communication de Université Mentouri de Constantine.

1.4 Formations effectuées

Décembre 2008Formation de 2 jours sur la Programmation et la Technologie .NET effectuée à CoGitar, El Biar, Alger. Sponsorisée par Microsoft Algérie.

2 Contributions pédagogiques

2.1 Enseignement en graduation

2.1.1 Responsable de la matière ou du module

1. Introduction à l"Administration de Bases de Données (L3 Sciences de l"Informatique).

2. Réseaux de Communication (2

eannée licence Informatique). En cours.

3. Réseaux (3

eannée licence Systèmes Informatiques).

4. Développement d"Applications Réparties (Master 1 Réseaux et Systèmes Distribués). En

cours.

5. Ateliers de licence (3

eannée licence Systèmes Informatiques).

6. Protocoles de Communication (Master 1 Systèmes Distribués).

7. Réseaux (3

eannée licence Informatique Académique).

8. Ateliers de licence (3

eannée licence Informatique Académique).

9. Calcul Formel (Tronc-Commun Mathématiques et Informatique).

10. Informatique (3

eet 4eannée Français).

11. Informatique (2

eet 3eannée licence en Sciences de l"Information et de la Communication).

12. Informatique (2

eet 3eannée licence en Sciences Sociales).

2.1.2 Chargé de TD

1. Compilation (4

eannée Ingénieur d"Etat en Informatique).

2. Systèmes d"Exploitation 2 (3

eannée licence Informatique Académique). 4

2.1.3 Chargé de TP

1. Sécurité de l"Information (Master 1 Réseaux et Systèmes Distribués).

2. Protocoles de Communication (Master 1 Systèmes Distribués).

3. Protocoles de Communication et Systèmes Distribués (Master Informatique Académique).

4. Systèmes d"Exploitation 2 (3

eannée licence Systèmes Informatiques).

5. Systèmes d"Exploitation 2 (3

eannée licence Informatique Académique).

6. Systèmes d"Exploitation 1 (2

eannée licence Informatique Académique).

7. Gestion du Processus Logiciel (2

eannée licence Génie Logiciel).

2.2 Encadrement de thèses de doctorat du 3ème cycle (LMD)

- Roumaissa Khennaoui, " Approche de Vérification Contextuelle des Systèmes Ambiants ». Thèse de Doctorat du 3ème cycle (LMD). Université Constantine 2 - Abdelhamid Mehri.

Encadrement depuis octobre 2015 (en cours)

2.3 Encadrement de thèses de Doctorat en Sciences

- Khalil Mechraoui, " Un Cadre Formel pour l"Analyse et la Vérification des Processus Métier ».

Thèse de Doctorat en Sciences. Université Constantine 2 - Abdelhamid Mehri. Encadrement depuis octobre 2015 (en cours)

2.4 Encadrement dans le Master

1. Issam Benderradji et Mohamed Nadir Benlatrache, " Répartition dynamique de charge : Ap-

plication aux problèmes d"optimisation ». Université Constantine 2 - Abdelhamid Mehri, Juin 2016.

2. Oulaya Malki et Zineb Hafsaoui, " Proposition d"une architecture d"un système de détection

d"intrusions (IDS) basée sur le calcul organique ». Université Constantine 2 - Abdelhamid

Mehri, Juin2016.

3. Mohamed Amine Boufelfel et Hicham Bouhedja, " Génération distribué d"un espace d"état

dans un environnement dynamique ». Université Constantine 2 - Abdelhamid Mehri, Juin 2016.

4. Mohamed Saïd Chemaâ et Hamza Boudjebir, " Plateforme de partage dynamique de tâches ».

Université Constantine 2 - Abdelhamid Mehri, Juin2015.

5. Sofiane Cherouana et Djalel Eddine Boukabache, " Dessin interactif : aide à la spécification

des systèmes temps-réel ». Université Constantine 2 - Abdelhamid Mehri, Juin2015.

6. Adama Diawara Modibo, " Formalisation du langage WS-BPEL par le langage D-LOTOS :

application à la composition des services Web ». Université Constantine 2, Juin2013. (co- encadrement avec Djamel Eddine Saïdouni)

7. Bessma Laib et Hibet Errahmane Amireche, " Proposition d"une architecture d"un système

honeypot basée sur le Calcul Organique », Université Constantine 2, Juin2013.

8. Wassila Slougui et Yasmina Abid Charef, " Spécification formelle et vérification du protocole

SSH ». Université Mentouri de Constantine, Juin2011.

9. Mohamed Zaki Chellali et Bachir Djoudi, " Passage DATA* vers automates temporisés : Mise

en oeuvre et application ». Université Mentouri de Constantine, Juin2011. 5

10. Khaoula Guessasma et Khadidja Benouareth, " Approches pour le calcul distribué : Applica-

tion au Data Mining ». Université Mentouri de Constantine, Juin2011.

11. Asma Mezari et Dounia Benamira, " Système de détection de feu : Conception formelle et

simulation ». Université Mentouri de Constantine, Juin2011.

12. Amira Mordjana et Fatima Zohra Saih, " Protocole RTSP : Conception formelle et simula-

tion ». Université Mentouri de Constantine, Juin2010.

13. Amina Belala et Samira Messaoudi, " Protocole PPP : Conception formelle et simulation ».

Université Mentouri de Constantine, Juin2010.

14. Asma Lakroune et Wafa Kifouche, " Protocole SIP : Conception formelle et simulation ».

Université Mentouri de Constantine, Juin2010.

15. Aboubakeur Mérabti, " Protocole DCCP : Conception formelle et simulation ». Université

Mentouri de Constantine, Juin2010.

16. Imène Zédairi et Billel Mezhoud, " DNS : Conception formelle et simulation ». Université

Mentouri de Constantine, Juin2010.

2.5 Encadrement dans la formation d"Ingénieur d"Etat (cycle long)

1. Amira Cheribet et Assia Maalem, "Spécification et vérification formelle du protocole DHCP»,

Université Mentouri de Constantine, Juin2009.

2. Bilel Medjdoub, Mehdi Mouhoubi et Lakhdar Laidi, "Site web de gestion d"offres immobilières

pour la FNAI », Université Mentouri de Constantine, Juin2009.

3. Moussa Nia et Benmaamar Imene, " Automatisation d"abonnement ADSL au sein d"Easy

ADSL », Université Mentouri de Constantine, Juin2009.

4. Adel Seraoui et Imadeddine Raïs, " Définition de réseaux de Petri temporellement tempo-

risés et l"utilisation des DATA*"s comme modèle sémantique pour ces réseaux », Université

Mentouri de Constantine, Juin2008. (co-encadrement avec Djamel Eddine Saïdouni)

5. Baghdad Lounis et Hamza Guersal, " Utilisation des DATA"s comme modèle sémantique

des réseaux de Petri temporisés », Université Mentouri de Constantine, Juin2008. (co- encadrement avec Djamel Eddine Saïdouni)

6. Djalel Benayache, Adel Boufrah et Ismaïl Belila, "Gestion d"abonnement ADSL au sein d"Easy

ADSL, filiale Internet d"Algérie Télécom », Université Mentouri de Constantine, Juin2008.

7. Abdeldjalil Boudjadar et Boularès Ouchène, " Sémantique de maximalité pour les réseaux de

Petri », Université Mentouri de Constantine, Juin2007. (co-encadrement avec Djamel Eddine

Saïdouni)

8. Salaheddine Sadouni et Bilel Hammani, " Gestionnaire distribué des ressources matérielles au

sein de SONELGAZ », Université Mentouri de Constantine, Juin2007.

2.6 Encadrement dans la licence

Année universitaire 2012-2013 à 2015-2016Responsable des projets de licence en Systèmes Informatiques : organisation et suivi des ateliers de licence y compris l"encadrement de plu- sieurs étudiants de licence. Université Constantine 2.

Projets encadrés :

- Développement d"un site Web d"une agence immobilière. (2013-2014) - Application multi-plateforme de gestion d"une compagnie de radiotaxis. (2013-2014) - Développement d"un site Web d"un magasin de commerce. (2013-2014) 6 - Application de gestion d"un cabinet médical. (2013-2014) - Développement d"un site Web d"une association de prise en charge de patients. (2012-2013) - Développement d"une application de collaboration au sein d"une institution. (2012-2013) - Application d"apprentissage en ligne pour enfants de primaire. (2012-2013) Année universitaire 2008-2009 à 2011-2012Responsable des projets de licence en Informa- tique Académique : organisation et suivi des ateliers de licence y compris l"encadrement de plusieurs étudiants de licence. Université Mentouri de Constantine.

Exemples de projets encadrés :

- Développement d"une application client/serveur de messagerie électronique. (2011-2012) - Développement d"une application de messagerie électronique. (2010-2011) - Développement d"une application simple de calcul distant. (2009-2010) - Développement d"une application de messagerie instantanée et de partage de fichiers. (2008-2009)

2.7 Co-encadrement de thèses de doctorat

- Imed Eddine Chama, " Formalisation des Processus d"Entreprise par l"Utilisation des Mo-

dèles Temporisés ». Thèse de Doctorat du cycle LMD soutenue le 14 juin 2015 à l"Université

Constantine 2 - Abdelhamid Mehri. (co-encadrement avec Djamel Eddine Saïdouni)

2.8 Co-encadrement de thèses de Magistère

- Khalil Mechraoui, " Spécification formelle des processus métiers par l"utilisation des réseaux

de Petri temporellement temporisés ». Thèse de Magistère soutenue en novembre 2015, École

Nationale Supérieure d"Informatique. (co-encadrement avec Djamel Eddine Saïdouni)

2.9 Responsabilités et tâches administratives

Depuis Avril 2016

Président du Comité Scientifique du Département d"Informatique Fondamentale et ses Appli- cations, Faculté des Nouvelles Technologies de l"Information et de la Communication, Univer- sité Constantine 2 - Abdelhamid Mehri.

De Septembre 2015 à Novembre 2016

Responsable de l"équipe de la spécialité licence en Sciences de l"Informatique (SCI) (Domaine :

Mathématiques et Informatique, filière : Informatique) à l"Université Constantine 2 - Abdel-

hamid Mehri.

De Décembre 2010 à Juin 2015

quotesdbs_dbs50.pdfusesText_50

[PDF] cv model algerie 2017

[PDF] cv model algerie en arabe

[PDF] cv par compétences quebec

[PDF] cv par compétences rh

[PDF] cv par compétences service ? la clientèle

[PDF] cv par compétences simple

[PDF] cv pdf exemple

[PDF] cv pole emploi compétences

[PDF] cv pole emploi en ligne

[PDF] cv pole emploi obligatoire

[PDF] cv pour doctorat

[PDF] cv pour licence pro

[PDF] cv pour medecin generaliste pdf

[PDF] cv pour université

[PDF] cv responsable maintenance industrielle pdf