Module : Théorie des graphes
Niveau : 2ème Année Licence
Responabilité : Chargé de cours
Année universitaire : 2020 / 2021
URL: elearning.univ-annaba.dz
Module : Outils de vérification formelle
Niveau : Master 2
Responabilité : Chargé de cours
Années universitaires : Du 2016 au 2020
URL: elearning.univ-annaba.dz
Module : Méthodes de résolution des problèmes
Niveau : Master 1
Responabilité : Chargé de cours
Années universitaires : Du 2015 au 2021
URL: elearning.univ-annaba.dz
Module : Modélisation et spécification formelle
Niveau : Master 1
Responabilité : Chargé de cours
Années universitaires : Du 2015 au 2021
URL: elearning.univ-annaba.dz
Module : Sémantique formelle
Niveau : Master 1
Responabilité : Chargé de cours
Années universitaires : Du 2014 au 2021
URL: elearning.univ-annaba.dz
Module : Outils de spécification formelle et de vérification
Niveau : Master 2
Responabilité : Chargé de cours
Années universitaires : Du 2009 au 2015
Module : Compilation
Niveau : 3ème Année Licence
Responabilité : Chargé de TD
Années universitaires : Du 2007 au 2014
Module : Cognition
Niveau : 2ème Année Licence
Responabilité : Chargé de cours
Années universitaires : Du 2012 au 2014
Module : Théorie des langages
Niveau : 2ème Année Licence
Responabilité : Chargé de cours
Années universitaires : Du 2007 au 2021
URL: elearning.univ-annaba.dz