Education : Bac Techniques économiques, Lycée techniques Annaba, 1975 Ingénieur d'état en informatique, université d'Annaba, 1975 Magister en Informatique, université d'Annaba, 1994 Doctorat d'état, université Badji Mokhtar-Annaba, 2006 Parcours académique en poste depuis 1982 en qualité d'assistant, puis MAA, MCA, professeur de l'enseignement supérieur à partir de 2014. Responsabilités pédagogiques - Directeur d’institut d’informatique, Université d’Annaba, 1994-96 - Directeur des études, Institut d’informatique, 1992-94. - Chef de département, 1989-92. Doctorats es sciences encadrés et soutenus : - Khetatba Mourad, « Vers une plateforme de développement d’applications M/L, basée SystemC-TLM «, Doctorat soutenu le 12/05/2019 - Ferroum Assia, « Un environnement de model checking pour les systèmes embarqués probabilistes », Doctorat soutenu le 24/12/2017 - Ferdenache Ahlem, « Complémentarité de méthodes de vérification, Application aux systèmes embarqués », Doctorat soutenu le 22/07/2017 - Benabdellah Ahcène-Youcef, « Optimisation dans le processus de développement des SoCs », Doctorat soutenu le 28/06/2017 - Chabbi Samir « Sécurité et optimisation des applications NFC mobiles », Doctorat soutenu janvier 2020 - Rais Mohamed Saber « Vérification des applications NFC », Doctorat soutenu juin 2023. - Nabet Aicha, « Vérification des applications NFC » Doctorat soutenu juin 2023. Mémoires de Magister encadrés et soutenus : - Chabbi Samir, Sécurité des applications NFC , soutenu 28/03/2015 à université Badji Mokhtar – Annaba - Nabet Aicha, NFC et Mobilité. Application aux titres de transport, Soutenu le 17/05/2014, université Badji Mokhtar – Annaba - Ahmed Malek Nada, Intelligence ambiante et les systèmes de transport intelligents Soutenu le 17/05/2014 à université Badji Mokhtar – Annaba - Khetatba Mourad, Intégration d’ISS et communication M/L dans systemC, Application aux SoC, soutenu le 18 mars 2010, université Badji Mokhtar – Annaba- - Ferroum Assia, Conception et Réalisation d’un model checker probabiliste à base de HMM – Application aux systèmes embarqués – soutenu le 18 Mars 2010, université Badji Mokhtar – Annaba - Ferdenache Ahlem, Méthode hybride de vérification pour systèmes embarqués, soutenu le 19 juillet 2010, université Badji Mokhtar – Annaba- - Benabdellah Ahcène-Youcef, Méthodologie de développement des IP pour les SoCs, soutenu le 14 juin 2010, université Badji Mokhtar – Annaba. - Zenakhra Djamel, Partitionnement Matériel/Logiciel et Systèmes MultiAgents, Application aux systèmes embarqués, soutenu le 11 décembre 2010, université Badji Mokhtar Annaba PFE soutenus Ingénieurs : 37 (2007-2012) Master 2 (LMD) : au moins 72 durant la période 2011-2023 Licence (LMD) : 04 Responsabilités de formation : - Responsable et initiateur de postgraduation (Magister) : Concepts Avancés pour l’Informatique Industrielle (CAII, 12 étudiants), 2007-2008 - Responsable et initiateur postgraduation (Magister) : INformatique EMbarquée (INEM, 6 étudiants), 2011-2012 - Responsable et initiateur postgraduation (Reconduction Magister) : INformatique EMbarquée (INEM, 4 étudiants), 2012-2013 - Responsable de spécialité et initiateur de Master M1 & M2 : Systèmes Embarqués et Mobilité (SEM), habilité depuis l’année 2011-2012 jusqu’à aujourd’hui - Responsable de filière licence informatique, arrêté N° 7263 du 31 janvier 2012 - Expert CRUEst- Constantine : 2011-2014 - Expert HU CrUEst - Constantine : 2024 Projets de Recherche CNEPRU 1. Chef de projet B2301 /01 / 2000 Dépt d’informatique, Université d’Annaba, durée 2 ans : 2001-2002 « Environnement intégré de développement et de covérification globale des systèmes réactifs complexes (SRC) » 2. Chef de projet B2301 / 02 / 03 Dépt d’informatique, Université d’Annaba, durée 3 ans : 2004-2006 « Spécification et Conception des composants virtuels (COVI) ». 3. projet B230 Dépt d’informatique, Université d’Annaba, durée 3 ans : 2007-2009 « Intégration de la vérification en codesign (IVECO) ». 4. Chef de projet B*01120080129 Dépt d’informatique, Université d’Annaba, durée 3 ans : 2009-2011 « Vérification par modèle probabiliste pour le codesign (VMPC) » 5. Chef de projet B*01120110053 , Dépt d’informatique, Université d’Annaba, durée 3 ans : 2012-2015 « Génération et partitionnement m/l de rtos intelligent et optimal pour l’embarque » (GPRTOS) 6. Chef de projet B*01120140146 Dépt d’informatique, Université d’Annaba, durée 3 ans : 2015-2018 Une billetterie mobile NFC dans les transports en commun (BMC-NFC) 7. Chef de projet PRFU : C00L07UN230120190007 Dépt d’informatique, Université d’Annaba, durée 4 ans : 2019-2022 Assistance aux DEficients COgnitifs Légers (ADECOL) 8. Membre du projet PRFU : C00L07UN230120230007 Dépt d'informatique, Université d'Annaba, durée : 2023-2026 Assistance à l'autonomie à domicile (A2D) Laboratoire de recherche - Directeur et Initiateur du Laboratoire de systèmes embarqués (LASE), Arrêté N° 410 du 20 septembre 2012 et jusqu’à ce jour - Chef d’équipe Codesign M/Let vérification (COVER)